Ciência da Computação Teórica

Dada uma lista de pulos de altura , qual é o comprimento esperado para um fator constante (multiplicativo)?nnn Na seção 2.2 das Árvores B sem cache , as Árvores de pesquisa fortemente equilibradas são definidas como: Para alguma constante , todo nó na altura tem descendentes .dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Eles afirmam: As …

8 ds.data-structures  randomized-algorithms  skip-lists 

Desejo conhecer a dimensão VC de um espaço de intervalo construído da seguinte maneira:(X,R)(X,R)(X,\mathcal{R}) XXX é o cilindro {(x,y,z)∈R3|x2+y2≤1}{(x,y,z)∈R3|x2+y2≤1}\{(x,y,z)\in\mathbb{R}^3|x^2+y^2\leq 1\} Os intervalos em RR\mathcal{R} são formados pela união de discos circulares, de modo que: o plano que contém o disco é ortogonal ao eixo z ("empilhamos" os discos na direção …

8 cg.comp-geom  vc-dimension 

É necessária uma referência a técnicas para provar que o tamanho de uma lacuna de integralidade é limitado por alguma expressão para um LP específico (ou SDP, mas menos importante). Também seria bom ter uma referência a um local onde são descritas técnicas para minimizar as lacunas de integralidade. Sou …

8 ds.algorithms  reference-request  linear-programming  semidefinite-programming  integrality-gap 

Tentar encontrar a solução ideal para o WEIGHTED-MAX-3SAT, a versão ponderada do problema de otimização do 3-SAT, é difícil para o NP. De fato, mesmo aproximando-se arbitrariamente da versão não ponderada do MAX-SAT é comprovadamente difícil o NP pelo Teorema do PCP. Um algoritmo canônico para aproximar o WEIGHTED-MAX-3SAT é …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness 

As frases: A rápida raposa marrom pula sobre o cachorro preguiçoso [A] e A raposa marrom uick pula sobre o cachorro preguiçoso [B] pode ser comparado usando o algoritmo Levenshtein Distance para determinar a similaridade, calculando o número mínimo de adições, exclusões ou substituições de um único caracter necessário para …

8 string-matching  edit-distance 

Dado um torneio , onde e ser dois acíclico sub-torneio de .S 1 S 2 tTTTS1S1S_1S2S2S_2TTT O seguinte problema é NP-Complete: Localizando um sub-torneio acíclico máximo , que é um subconjunto de ?S 1 ∪ S 2SSSS1∪ S2S1∪S2S_1 \cup S_2 O problema em questão pode ser resolvido em tempo polinomial? …

8 ds.algorithms  np-hardness  graph-algorithms 

Suponha que tenhamos um multigráfico (mais tarde, um hiperhipógrafo). Um clique de aresta é um conjunto de arestas que se cruzam em pares (com pelo menos um vértice comum). Então, qualquer clique de borda em uma multigráfica sempre cai em uma de duas categorias:CCC Uma estrela : existe um vértice …

8 ds.algorithms  graph-theory  hypergraphs  graph-algorithms  clique 

Um Quine é um programa de computador que produz uma cópia do seu próprio código-fonte como sua única saída. Existe algum programa Quine que pode se imprimir n vezes, com n especificado de alguma forma no programa?

8 computability  recreational 

No artigo Relativizações do P =? NP Question , Baker et al. mostrou que existem mundos relativizados nos quais P = NP ou P ≠ NP se mantém. Todos os oráculos em suas configurações eram conjuntos recursivos. Noutra papel em relação a uma aleatória a Oracle , P Um ≠ …

8 cc.complexity-theory  computability  oracles  relativization 

Gostaria de verificar o status do limite inferior do espaço para resolver o problema de conectividade no fluxo em passes. O Ω ( n / p ) foi declarado na literatura, mas parece ser um problema ligeiramente diferente. Perdi alguma coisa? Detalhes abaixo. pppΩ(n/p)Ω(n/p)\Omega(n/p) Dado um gráfico de n vértices …

8 lower-bounds  data-streams 

(Estou no meio do meu primeiro curso teórico de cs, então peço desculpas antecipadamente pelo que provavelmente é uma pergunta estúpida.) Então, dizemos que alguma linguagem L está em P, o que significa que uma máquina de Turing pode ser construída que gera 1 se x estiver em L e …

8 cc.complexity-theory 

Alguém conhece algum trabalho sobre semântica de jogos para predicados coindutivos? Um predicado coindutivo é aquele em que o próprio predicado é chamado no corpo do predicado, e estamos assumindo que o significado do predicado é o maior ponto fixo da definição subjacente. Esse predicado será definido sobre uma estrutura …

8 lo.logic 

Eu tenho lido um artigo de um químico matemático. Ele propõe alguns índices para medir a complexidade das moléculas. A partir daqui, em vez de moléculas, pense em gráficos conectados não direcionados: um vértice é um átomo e uma aresta é uma ligação entre átomos. É possível considerar a coloração …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Alguns anos atrás, participei de uma aula de teoria da complexidade de Steven Rudich, e lembro-me dele dando uma palestra interessante conectando testes estatísticos (como encontrado nos departamentos de estatística!) Com a complexidade do circuito. Lembro-me dele afirmando algo vagamente parecido: você poderia usar circuitos para caracterizar abstratamente o que …

8 circuit-complexity  st.statistics 

Esta pergunta surge de uma resposta que Joe Fitzsimons deu a uma pergunta diferente . A maioria das classes de complexidade natural possui uma "descrição intuitiva" de uma linha que ajuda a caracterizar os principais problemas dessa classe. NP é "verificação eficiente", #P é "enumerar soluções", PSPACE é "jogo" e …

8 cc.complexity-theory  quantum-computing  big-picture  qma