Dado um gráfico bipartido não ponderado . É verdade que sempre existe uma correspondência não vazia M ⊆ E (não necessariamente máxima), de modo que para todo ( i , j ) ∈ E com i correspondido e j sem correspondência, ele detém deg ( i ) > deg ( j ) ? Aqui ( i , j ) não está ordenado, ou seja, eu...
No presente trabalho , Hajnal afirma o seguinte lema: Seja o conjunto de todos os gráficos bipartidos com vértices na parte esquerda e vértices na parte direita. Suponha que seja não trivial, monótono e invariável em relação aos isomorfismos dos gráficos bipartidos. Ordene o conjunto de gráficos...
Um resultado fundamental na complexidade parametrizada dos problemas gráficos é que VERTEX COVER parametrizado pelo tamanho da solução é um parâmetro fixo-tratável (FPT). Por outro lado, quando parametrizado pelo "parâmetro duplo" , torna-se equivalente a INDEPENDENT SET parametrizado pelo tamanho...
Deixe Alice e Bob calcular a função booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar um subconjunto aleatório de cardinalidade e deixar .I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Vamos Alice obter...
Na pesquisa de Melliès, Semântica categórica da lógica linear , é dado um procedimento de eliminação de corte para a lógica linear intuicionista, que inclui o seguinte caso: 3.9.3 Promoção x contração A prova é transformado em prova pi 1π1⋮! Y ⊢ Um! Y- ⊢ ! UMA Promoçãoπ2⋮Υ1, ! Um , ! A , Υ2⊢...
As versões não uniformes de P, NP e coNP são P / poli, NP / poli e coNP / poli. Da mesma forma, podemos definir uma versão não uniforme para cada nível no PH. Por exemplo: / poly consiste em problemas no formato { x : ∃ y ∀ zΣ2Σ2\Sigma_2 , em que C é um circuito de tamanho polinomial que pode...
Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão. Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples....
Primeiro, peça desculpas se esta pergunta é apropriada ou trivial para este site. Sou físico procurando ajuda fora de sua zona de conforto. Em PRL 87 167902 (2001) , alega-se que "... para um arbitrariamente pequeno , existe um código de correção de erros com (para alguma constante ) tal que a...
G = ( V, E)G=(V,E)G=(V,E) EuV( G ) = min { | N( S) || S|: S⊆ V, 1 ≤ | S| ≤ | V|2}EuV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Você pode dar uma referência onde o seguinte problema é mostrado NP-complete: dado um gráfico e um...
O #P foi introduzido pela primeira vez em [1] ? [1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979):
Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no
fundo Sabemos que .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Além disso, sabemos pelo teorema de Toda que .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Para mais informações sobre , consulte aqui: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Questão Existe um oráculo tal que ?UMAUMAA(...
Não tenho formação em ciência da computação teórica, mas gostaria de entender a que tipo de objetos teóricos os conceitos C ++ correspondem. Basicamente, os conceitos de C ++ permitem definir um conjunto de tipos que satisfazem uma lista de restrições. Portanto, do ponto de vista teórico, a que...
O idioma Critical SAT é definido como o conjunto de fórmulas booleanas tal modo que mas remover qualquer cláusula de torna satisfatório. Sabe-se que o Critical SAT é completo. Gostaria de saber sobre a seguinte variante: dada uma fórmula , é o caso de estar em e de que existe alguma cláusula tal...
Estou interessado no seguinte problema. Dado um gráfico euleriano , devemos encontrar uma partição de suas arestas ( e ) , de modo que cada forme um ciclo simples em e seja o máximo possível.G = ( V, E)G=(V,E)G=(V,E)C1, C2, … , CkC1,C2,…,CkC_1, C_2, \ldots, C_k∪EuCEu= E∪EuCEu=E\cup_i C_i=Ei ≠ j ↔...
Estou procurando um conceito na teoria dos tipos que, com certeza, já foi explorado, mas não sei o nome por trás. Vamos considerar uma linguagem do tipo ML com tipos de produto e soma e um sistema de tipo Hindley-Milner. Vou usar a sintaxe do OCaml. Estou me perguntando sobre maneiras como dois...
Suponha . Em seguida, uma simples mostra argumento que P H P P = N P . Podemos dar um passo adiante e obter P P P P = N P ? O argumento simples éNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Se então P H P P = N P .NP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NP Prova é...
Em Computabilidade, se quisermos provar que um problema não é recursivo ou não recursivamente enumerável, podemos usar, por exemplo, reduções de outros problemas não recursivos ou não re, o teorema de Rice, o teorema de Rice-Shapiro, etc. Essas técnicas funcionam graças a , ou se baseiam...
Um algoritmo de tempo de execução para isomorfismo de grupo abeliano é fácil de ver. Mais tarde, trabalhando nesse problema em 2003, o Vikas aprimorou o resultado do tempo de execução de O ( n 2 ) para O ( n log n ) . Em 2007, Kavitha mostrou que o isomorfismo do grupo abeliano pode ser feito em...
Qual é a complexidade do problema de satisfação local para a lógica modal ? Aqui, denotamos por a lógica modal sobre quadros euclidianos estendidos com modalidade inversa. Você poderia fornecer alguma referência? Está em ? I K 5 N PI K 5EuK5\mathit{IK5}EuK5EuK5IK5NPNPNP O que eu sei sobre o...