Existem problemas naturais no que não são (se sabe / são) no ?U P ∩ C o U PNP∩ c o NPNP∩coNPNP \cap coNPvocêP∩ c o UPUP∩coUPUP \cap coUP Obviamente, o grande problema que todos conhecem no é a versão de decisão do fatoração (não tem um fator de tamanho no máximo k), mas isso é de fato no .U P ∩ C...
É sabido que a conectividade st direcionada é completa. Resultado da descoberta de Reingold mostrou que não direcionado conectividade st está em . Sabe -se que a conectividade st direcionada planar está na . Cho e Huynh definiram um problema de mochila parametrizado e exibiram uma hierarquia de...
Suponha que relaxemos o problema de contar cores apropriadas contando as cores ponderadas da seguinte maneira: toda cor adequada ganha peso 1 e toda cor imprópria ganha peso onde c é uma constante e v é o número de arestas com pontos finais com a mesma cor. Quando c vai para 0, isso reduz a...
O seguinte problema é NP-difícil? Dada a configuração do quadro para rascunhos internacionais , encontre uma única jogada legal.n × nn×nn\times n O problema correspondente para damas americanas (também conhecidas como rascunhos em inglês) é trivialmente solucionável em tempo polinomial....
Quais seriam as consequências de #P = FP? Estou interessado em conseqüências práticas e teóricas. Do ponto de vista prático, estou particularmente interessado em consequências na inteligência artificial. Ponteiros para papéis ou livros são mais que bem-vindos. Por favor, não diga que #P = FP...
Não consigo pensar em nenhum modelo desse tipo, talvez alguma forma de cálculo lambda digitado? algum autômato celular elementar? Isso quase refutaria o "Princípio da Equivalência Computacional" de Wolfram: Quase todos os processos que não são obviamente simples podem ser vistos como cálculos...
Uma máquina PHPHPH recebe acesso Oracle a uma função booleana aleatória f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} e dois espectros de Fourier ggg e hhh . O espectro de Fourier de uma função fff é definido como F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R...
Para uma fórmula 3CNF deixar ser o número máximo de cláusulas satisfeitos em qualquer atribuição para . Sabe-se que o Max-3SAT é difícil de aproximar (sujeito a P ≠ NP), ou seja, não há algoritmo polytime cuja entrada seja uma fórmula 3CNF e cuja saída seja o número modo que esteja dentro de um...
Você conhece algum wiki atualizado dedicado a problemas de otimização de NP com seus melhores resultados de aproximação e dureza? Com base no feedback, parece seguro presumir que não exista esse recurso (consulte o final desta pergunta para duas opções próximas). - adicionado em 8 de...
Esta questão foi migrada do Stack Overflow porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Dado que a Correspondência Curry-Howard é tão amplamente difundida / estendida, existe alguma diferença entre provas e programas (ou...
Existe algo conhecido sobre a classe de gráficos com a propriedade de que todos os conjuntos independentes máximos têm a mesma cardinalidade e, portanto, são ISs máximos? Por exemplo, pegue um conjunto de pontos no plano e considere o gráfico de interseções entre todos os segmentos entre pares de...
Esta é minha primeira pergunta na pilha de histórias, portanto, não seja muito rude se eu estiver violando a etiqueta de alguma forma) Como sabemos, em matemática, mesmo matemáticos, astros e gênios famosos estão cometendo erros sérios de tempos em tempos. Por exemplo, o teorema de quatro cores e...
Sobre quais tópicos do TCS ausentes na Wikipedia você mais gostaria de ter um artigo? Podem ser omissões gritantes ou apenas tópicos que você acha que realmente deveriam ter um artigo. Um tópico por resposta, para que os mais procurados possam ser votados. Atualização 5/2/2017 : Shuchi Chawla...
Dado um idioma comum (NFA, DFA, gramática ou regex), como pode ser contado o número de palavras aceitantes em um determinado idioma? Tanto "com exatamente n letras" quanto "com no máximo n letras" são de interesse. Margareta Ackerman tem dois trabalhos sobre o assunto relacionado de enumerar...
Shiva Kintali acaba de anunciar um resultado (legal!) De que o isomorfismo do gráfico para gráficos de largura de árvore limitada de largura é hard L- duro≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, minha pergunta é: "Quão difícil é isso?" Sabemos que não uniforme , veja as respostas para esta...
O estudo da representação sucinta de gráficos foi iniciado por Galperin e Wigderson em um artigo de 1983, onde eles provam que, para muitos problemas simples como encontrar um triângulo em um gráfico, a versão sucinta correspondente no concluída. Papadimitriou e Yanakkakis aprofundam essa linha de...
Eu não sou um teórico da ciência da computação, mas acho que esse problema do mundo real pertence aqui. O problema Minha empresa possui várias unidades em todo o país. Oferecemos aos funcionários a possibilidade de trabalhar em outra unidade. Mas há uma condição: o número total de trabalhadores...
Tenho certeza que todo mundo conhece o experimento com agulhas de Buffon no século 18, que é um dos primeiros algoritmos probabilísticos a calcular .ππ\pi A implementação do algoritmo em computadores geralmente exige o uso de , ou uma função trigonométrica, que, mesmo que sejam implementadas como...
Parece que George Gonthier e seus colaboradores terminaram de formalizar o Teorema da Ordem Estranha . Em seu trabalho anterior sobre o Teorema das Quatro Cores, Gonthier inventou vários novos algoritmos (principalmente variantes de BDDs e algoritmos gráficos) que eram especialmente passíveis de...
Seja uma matriz inteira quadrada e seja um número inteiro positivo. Estou interessado na complexidade do seguinte problema de decisão:MMMnnn A entrada no canto superior direito de MnMnM^n positiva? Observe que a abordagem óbvia do quadrado iterado (ou qualquer outro cálculo explícito) exige que...