Se é um gráfico com o máximo de grau 3 e é um menor de H , então L é um menor topológica de H .GGGHHHGGGHHH A Wikipedia cita este resultado da "Teoria dos Gráficos" de Diestel. Ele está listado como Prop 1.7.4 na versão mais recente do livro. O livro carece de prova ou citação. O paradeiro é...
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...
Estou procurando uma referência (não uma prova, o que posso fazer) à seguinte extensão de Chernoff. Deixe- X1,..,XnX1,..,XnX_1,..,X_n são variáveis aleatórias booleanas, não necessariamente independentes . Em vez disso, é garantido que
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...
SAT exclusivo é o problema bem conhecido: dada a fórmula CNF , é verdade que tem exatamente um modelo?FFFFFFF Estou interessado no problema «Exatamente -SAT»: dada uma fórmula CNF e um número inteiro , é verdade que tem exatamente modelos?F m > 1 F mmmmFFFm > 1m>1m>1FFFmmm Ambos os...
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...
Suponha que um tenha um algoritmo UMAAA (BPP) randomizado usando rrr bits de aleatoriedade. Maneiras naturais de ampliar sua probabilidade de sucesso para 1 - δ1−δ1-\delta , para qualquer δ> 0δ>0\delta>0 escolhido , são Execuções independentes + voto da maioria: execute UMAAA...
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 é...
Li o artigo de Freyd "Algebraically Complete Categories" no famoso Como90 e tenho duas perguntas sobre a noção de compacidade algébrica que ele definiu nesse artigo. (Se você não está familiarizado com a definição, aqui está: Uma categoria é chamada algebricamente compacta se todo endofuncor tiver...
Quem foi a primeira pessoa a mostrar que um idioma está no NP se um certificado para o idioma puder ser verificado em tempo polinomial? Temos um artigo que prova isso formalmente? Quando a comunidade do TCS começou a enfatizar o não determinismo em favor da verificabilidade? Pela minha vida, não...
Estou procurando referências bibliográficas para o seguinte algoritmo / problema: Chamei de "BiSelect" ou "t-ary Select" ou "Selecionar na união de matrizes classificadas", mas acho que foi introduzido anteriormente com outro nome? Problema Considere o seguinte problema: Dado disjuntos...
Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se...
Estou lendo pesquisas de Trevisan e Lovett sobre aplicações de aditivos combinatórios no TCS. A maioria desses aplicativos se enquadra na complexidade computacional , por exemplo, limites mais baixos. Gostaria de saber se a combinatória aditiva também encontrou aplicações no design de algoritmos...
Espero que alguém conheça isso, por isso não preciso ler a literatura ... x1, … , Xnx1,…,xnx_1, \ldots, x_nn - 1n−1n-1[ x1, x2] , [ x2, x3] , … , [ Xn - 1, xn][x1,x2],[x2,x3],…,[xn−1,xn][x_1, x_2], [x_2, x_3], \ldots, [x_{n-1},x_n]kkkkkkpEu= ( i , xEu)pi=(i,xi)p_i =(i,x_i)kkk kkkO ( n logk...
Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode...
Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos diferentes. Por exemplo, (S→...
Portanto, uma rápida pesquisa na web me levou a acreditar que "o APXHardness implica que não existe QPTAS para um problema, a menos que [alguma classe de complexidade] esteja incluída em alguma [outra classe de complexidade]" e também é bem conhecido! Parece que todo mundo sabe disso, exceto eu....
Se você receber uma coleção de pedidos parciais, a classificação topológica informará se há uma extensão da coleção para um pedido total (uma extensão nesse caso é um pedido total consistente com cada um dos pedidos parciais). Eu me deparei com uma variação: Fixar um conjunto . Você recebe...
Dado composto peneira campo número geral é melhor conhecido algoritmo fatoração para fatoração número inteiro de . É um algoritmo aleatório e obtemos uma complexidade esperada de para fator . N O ( e √N∈NN∈NN\in\Bbb
Eu sou um estudante de matemática interessado em TCS. Eu quero estudar os algoritmos e a complexidade deles para resolver os problemas teóricos do grupo, como encontrar ordem dos elementos, enumeração de coset, encontrar gerador, testar se um determinado subconjunto gera o grupo. Que livro devo...