É possível que ? Existem conseqüências interessantes de tal contenção? Contrariaria a hipótese do tempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp(n0.9))\overline{SAT} \in
Considere o seguinte jogo de cartas (conhecido na Itália como "Cavacamicia", que pode ser traduzido como "camisa de tiras"): Dois jogadores dividem aleatoriamente em dois baralhos um baralho de cartas padrão. Cada jogador recebe um baralho. Os jogadores alternam colocando na pilha a próxima carta...
Podemos provar que, para cada idioma que não é N P- duro (isso assume P ≠ N P ), P L ≠ P SAT ? Como alternativa, isso pode ser comprovado sob quaisquer suposições razoáveis?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne...
Considere um vetor dimensional v em que v i ∈ { 0 , 1 } . Para cada i sabemos p i = P ( v i = 1 ) e vamos assumir o v i são independentes. Usando essas probabilidades, existe uma maneira eficiente de iterar sobre vetores binários n dimensionais, na ordem do mais provável para o menos provável (com...
Ao responder a essa pergunta sobre a teoria , eu (informalmente) provei rapidamente o seguinte teorema: Teorema : Para qualquer fixo ≥ 3, o probem do ciclo hamiltoniano permanece NP-completo, mesmo que restrito a gráficos bipartidos planas não direcionados de grau máximo 3 que não contenham ciclos...
Acabei de concluir um pequeno artigo (5 páginas) sobre a prova de um certo jogo combinatório NP-Complete. Isso não é de forma alguma um resultado de enorme significado, mas é um que eu acredito que é publicável. Que locais seriam bons para um jornal como este? O único que eu conheço é o...
Digamos que uma família de gráficos tenha caminhos induzidos por muito tempo se houver uma constante modo que todo gráfico em contenha um caminho induzido em vértices. Estou interessado em propriedades de famílias de grafos que garantam a existência de longos caminhos induzidos. Em particular,...
A página da wikipedia no PSPACE menciona que a inclusão não é conhecida por ser rigorosa (infelizmente sem referências).NL ⊂ PHNL⊂PHNL\subset PH Q1: E quanto a e L ⊂ P # P - estes são conhecidos por serem rigorosos?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Se não, existe uma classe...
Eu tenho parte de uma tentativa de prova de . A tentativa prova consiste numa redução do Karp problema -completo cobertura de vértices 3-regular para sab.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado um gráfico cúbico , a redução gera uma fórmula CNF com as...
Qual é a largura mínima da árvore de um circuito acima de para calcular o MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Aqui MAJ gera 1 se pelo menos metade de suas entradas for .1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Preocupo-me apenas com o tamanho do circuito (deve ser...
Portanto, todos sabemos o limite inferior da árvore de comparação de no pior número de comparações feitas por um algoritmo (determinístico) de classificação por comparação. Não se aplica à classificação de comparação aleatória (se medirmos as comparações esperadas para a entrada do pior caso). Por...
A entrada é um universo e uma família de subconjuntos de U , digamos, F ⊆ 2 U . Nós assumimos que os subconjuntos em F pode cobrir U , ou seja, ⋃ E ∈ F E = U .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Uma sequência de cobertura incremental é uma...
Existem problemas completos de NP (ou mesmo NP-difícil ou NP) que possuem boas propriedades topológicas para estudar. Os problemas de PN têm formulações teóricas de nós? Sabemos sobre os resultados # sobre o polinômio de Jones. Problemas gráficos (incorporações?), Especificamente cores dos...
Tenho certeza de que não sou o primeiro a aceitar a idéia que vou apresentar. No entanto, seria útil encontrar alguma literatura relacionada à idéia. A idéia é construir uma Máquina de Turing M com a propriedade de que, se P = NP, M resolverá o 3-SAT em tempo polinomial. (A escolha do 3-SAT é...
Como alguém mostra que uma determinada propriedade não pode ser expressa em 2-CNF (2-SAT)? Existem jogos, como jogos de seixos? Parece que o clássico jogo de pedras negras e preto e branco é inadequado para isso (eles são completos para o PSPACE, de acordo com Hertel e Pitassi, SIAM J of Computing,...
Seja uma função booleana com sensibilidade s ( f ) e bloqueie a sensibilidade b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) A conjectura de conjectura de sensibilidade de bloco de sensibilidade afirma que existe um tal que ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s (...
Seja uma constante. Como podemos comprovadamente construir um gerador pseudo-aleatório que engana os autômatos finitos do estado d ?dddddd Aqui, um -state finito autómatos tem d nodos, um nó de início, um conjunto de nodos que representam aceitar os estados, e duas arestas dirigidas rotulado 0, 1...
Eu não sou um cientista da computação teórico. Sou um teórico estável da homotopia usando -categories. Vi aplicações da teoria das categorias e da teoria topos à ciência da computação teórica, e fiquei imaginando se havia alguma maneira de usar -categories (e de preferência para mim, a teoria da...
Existem exemplos de aplicações práticas de jogos de paridade, isto é, sistemas, no mundo real, que podem ser representados como jogos de paridade? A documentação geralmente relacionada aos jogos de paridade quase nunca tem um exemplo prático desse
Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém...