Ciência da Computação Teórica

Diz-se que duas árvores de busca binária são linearmente equivalentes quando concordam em suas travessias em ordem. O seguinte teorema explica por que as rotações das árvores são tão fundamentais: Sejam A e B árvores de pesquisa binárias. Então A e B são linearmente equivalentes se, e somente se, estiverem …

13 reference-request  ds.data-structures 

Suponha que você receba um conjunto de n pontos no plano e deseje verificar se eles formam um polígono n convexo, ou seja, se todos estão no casco convexo. Eu queria saber se alguém sabe como fazer isso em tempo (nlogn), ou seja, sem calcular o CH.

13 cg.comp-geom 

Suponha que temos um conjunto S de gráficos (gráficos finitos, mas um número infinito deles) e um grupo P de permutações que atua em S. Instância: Uma permutação p em P. Pergunta: Existe um gráfico g em S que admite o automorfismo p? Esse problema é NP-completo para alguns conjuntos …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Uma fórmula Monotone-2CNF é uma fórmula CNF em que cada cláusula é composta por exatamente 2 literais positivos. Agora, eu tenho uma fórmula Monotone-2CNF . Seja o conjunto de atribuições satisfatórias deEu também tenho um oracle que é capaz de fornecer as seguintes informações:FFFSSSFFFOOO A cardinalidade do conjunto (ou seja, …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM no tempo com os processadores O ( m + n ) . Qual é o algoritmo paralelo mais conhecido para conectividade st direcionada ? Indique o tempo de execução, o algoritmo determinístico / …

13 dc.parallel-comp 

Como o título diz, qual é a definição correta de -tree? Existem vários artigos que falam sobre árvores- e árvores- parciais como definições alternativas para gráficos com largura de árvore limitada, e eu já vi muitas definições aparentemente incorretas. Por exemplo, pelo menos um local define árvores da seguinte maneira:k …

13 graph-theory  treewidth 

Em um artigo intitulado "Sobre a negação na cadeia de referência comum e no modelo aleatório do Oracle", Rafael Pass escreve: Observamos que, ao provar a segurança de acordo com a definição padrão de conhecimento zero no modelo RO [Oracle aleatório], o simulador tem duas vantagens sobre um simulador de …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

No artigo Passeios aleatórios quânticos atingidos exponencialmente mais rápido ( arXiv: quant-ph / 0205083 ) Kempe fornece uma noção de tempo de acerto para caminhadas quânticas (no hipercubo) que não é muito popular na literatura sobre caminhadas quânticas. É definido da seguinte forma: One-Shot Quantum Bater Time: Um passeio de …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

Então, eu tenho cerca de 100-200 matrizes booleanas quadradas muito esparsas com comprimento lateral ~ várias dezenas, e preciso calcular o produto delas. Sei que se os multiplicar em série, o produto geralmente permanecerá tão escasso a cada etapa. Existem algoritmos de produtos em cadeia de matrizes que funcionam particularmente …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

Desigualdades do tipo Chernoff são usadas para mostrar que a probabilidade de que uma soma de variáveis ​​aleatórias independentes se desvie significativamente de seu valor esperado é exponencialmente pequena no valor esperado e no desvio. Existe uma desigualdade do tipo Chernoff para qualquer soma de variáveis ​​aleatórias independentes em pares …

13 derandomization  pr.probability  chernoff-bound 

Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus limites. Um …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Esta é uma questão inspirado pelo problema corte livre-H . Dado um gráfico, uma partição de seu conjunto de vértices em r partes V 1 , V 2 , … , V r é livre de H se G [ V i ] não induzir uma cópia de H para …

13 graph-theory  np-hardness  co.combinatorics 

É fácil verificar se, dada a grade dimensional d dos pontos inteiros , com a adjacência regular, é possível encontrar um separador de tamanho n d - 1 (basta escolher qualquer hiperplano médio e remover todos os seus vértices). Também não é muito difícil (mas definitivamente não é imediato) verificar …

13 reference-request  cg.comp-geom  lower-bounds 

Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é óbvio para onde procurar, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Sabe-se, graças a Immerman e Szelepcsényi, que se (mesmo para funções construtivas não espaciais).f = Ω ( log )N S P A C E (f) = C O N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( log )f=Ω(log)f=\Omega(\log) No mesmo artigo, Immerman declara que a hierarquia …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy