Perguntas com a marcação «reference-request»

Estou procurando uma referência para "reduzir" reduções de Turing a muitas reduções. Tenho em mente uma declaração da seguinte forma (declarações suficientes semelhantes também me satisfariam): Teorema. Se , então A ≤ 2 f m B t t .A ≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A ≤2fmBt tA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} onde " " e " …

8 cc.complexity-theory  reference-request  complexity-classes 

Estou interessado em como alguém prova que uma sentença é relativizada. Evidentemente, provar que uma sentença não se relativiza é simples, como visto no resultado de Baker-Gill-Solovay; mas como provar que uma sentença é relativizada, isto é, verdadeira em relação a qualquer oráculo? Existem técnicas conhecidas para conseguir isso em …

8 cc.complexity-theory  reference-request  relativization 

Quais são as aplicações da complexidade de Kolmogorov na teoria dos números e em campos relacionados a provas? (A monografia de Li & Vitanyi não possui muitas aplicações relacionadas à Teoria dos Números.) Uma das boas provas que encontrei é a prova da existência de um número infinito de números …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

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 …

8 cc.complexity-theory  reference-request  np-hardness  sat 

Seja um subgráfico de intervalo induzido máximo de um gráfico . Se， Então qual é o menor número de ?G = ( V , E ) n = | V | V ( H )HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) O número é no máximo : considere um conjunto de furos disjuntos .43n/43n/43n/4444 Pode ser …

8 reference-request  extremal-combinatorics  interval-graphs 

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 cc.complexity-theory  reference-request 

Li o famoso livro de Alon e Spencer sobre o método probabilístico na combinatória. Existe uma pesquisa ou notas de aula sobre avanços e relacionamentos recentes com os seguintes tópicos teóricos da complexidade deste método além deste livro? geradores pseudo-aleatórios enganando modelos de computação concretos, gráficos de expansão. limites mais …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Quais são algumas das aplicações da decomposição modular de gráficos na teoria da complexidade / TCS? Estou especialmente interessado em seu uso em provas ou limites superior / inferior, se ocorrer. [1] Decomposição modular de grafos , Wikipedia. [2] Referências para decomposição modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Eu fui brincar com retomadas recentemente, principalmente a partir de papel clássico de Abramsky Refazendo alguns caminhos em Álgebra de Processos . Eles são bastante lisos (basicamente soluções para a equação de domínio ) e lembram muito as redes Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times R) Certamente, essa observação não …

8 reference-request  pl.programming-languages  functional-programming 

Net (conhecido também como FreeNet, ou como NetWalk) é um jogo jogado em um grade com os seguintes objetos:n×nn×nn \times n existem computadores ; cada computador ocupa uma célula e possui um cabo de ligação;mmm cada computador deve estar conectado à unidade central que ocupa uma célula e possui 1, …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Thor Johnson, et al., Em seu artigo: Directed Tree Width , introduziram uma definição para a grade direcionada , e eles conjeturaram:JkJkJ_k Para todo número inteiro k existe um número inteiro N tal que todo dígrafo com a largura da árvore N ou mais tem um menor isomórfico para J …

8 reference-request  graph-theory  co.combinatorics  graph-minor 

Deixe ser um conjunto de tamanho e ser um conjunto de tamanho , para fixa e , e de tal modo que . Qual é a (ou a) família Sperner em para a qual é maximizada?k B ℓ k ℓ A ∩ B = ∅ F A ∪ B F …

8 reference-request  co.combinatorics 

Estou procurando o artigo original em que Hoare (ou outra pessoa, suponho) discute a rescisão (correção total). Ou qualquer outro trabalho inicial sobre rescisão para a lógica Hoare "baunilha" (suponho que quero dizer um HL para uma linguagem de brinquedo do tipo C). Dei uma olhada na base axiomática de …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

Suponha que desejamos encontrar o menor elemento de um conjunto , cujos elementos são indexados de a . Não temos acesso aos valores desses elementos, mas podemos comparar quaisquer dois elementos de para ver qual é menor. Para quaisquer índices e , existe um associado custo para comparar o th …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum