Ciência da Computação Teórica

8
Densidade de Ramsey Graphs

Suponha que tenhamos um gráfico com vértices que não contém nem um clique do tamanho nem um conjunto independente de tamanho (por exemplo, satisfaz essa propriedade com alta probabilidade ) É verdade que o número de arestas de é pelo menos , ou seja, não pode ser muito escasso?GGGnnn3 log( N...

8
Problemas de decisão vs funções

A teoria da complexidade parece ser construída em torno de problemas de decisão e não de funções. Quem introduziu isso primeiro e qual o motivo dessa escolha? Por exemplo, o artigo "Caminhos, árvores e flores" de Edmonds é geralmente creditado como a fonte da noção de representando o conjunto de...

8
Algoritmos para encontrar clique em gráfico de graus delimitados

Considere um gráfico com vértices e o grau máximo . Eu gostaria de saber se o gráfico tem nenhum panelinhas, onde e ambos são pequenos em comparação com . Eu só preciso encontrar um único clique (ou certificar que não existe)Δ s s ≤ Δ nnnnΔΔ\Deltassss ≤ Δs≤Δs \leq \Deltannn Existe uma maneira...

8
Complexidade do

Vamos definir o problema SAT : Dado F 3 , uma fórmula 3-CNF satisfatória e F 2 , uma fórmula 2-CNF ( F 3 e F 2 são definidos nas mesmas variáveis). É F 3 ∧ F 2 satisfiable?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Qual é a complexidade desse problema? (Já foi estudado...