Ciência da Computação Teórica

Especificamente o que quero dizer com adição é, definimos para ser o alfabeto { 0 , 1 , 2 , . . . , eu } . Línguas dadas regulares A e B sob algum alfabeto Σ i , olhada A × B .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Para …

10 automata-theory 

A hipótese de Riemann, com mais de um século e meio de idade, tem implicações profundas na matemática e agora um grande edifício da teoria matemática é provado condicionalmente, além de inúmeras variantes. Recentemente, deparei com uma referência a um resultado condicional no TCS com base na hipótese de Riemann. …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Supondo que tenhamos uma função booleana de . É claro que um polinômio multivariado real tal que em pode ser multilinear. Quais são algumas classes interessantes de funções booleanas para as quais o grau mínimo de é conhecido? Temos exemplos concretos?p ( x ) f ( x ) = p …

10 boolean-functions 

nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Eu tentei algumas distribuições e quase todas elas têm variação . Por exemplo, a distribuição na qual cada coordenada de cada é escolhida de maneira independente e uniforme de e a distribuição na qual cada é um vetor uniforme independente na esfera unitária …

10 reference-request  randomized-algorithms 

Usando o modelo real-RAM / BSS, temos a classe NP , (onde um BSS é o modelo Blum-Shub-Smale de um computador com operações sobre reais). Temos NP problemas completos. Então, a questão é: existe um análogo da conjectura de Berman Hartman para a classe NP ? Obviamente, a questão colocada …

10 cc.complexity-theory  computing-over-reals 

Estou interessado no seguinte problema. Recebemos como entrada uma "permutação de destino" , bem como uma lista ordenada de índices i 1 , … , i m ∈ [ n - 1 ] . Então, começando com a lista L = ( 1 , 2 , … , n ) …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Existem problemas solucionáveis ​​no tempo polinomial apenas se P! = NP e solucionáveis ​​no tempo (digamos) ?O ( 2n)O(2n)O(2^n) Um exemplo simples seria: Se P! = NP, calcule um teste de primalidade para um número aleatório de n bits, caso contrário, avalie uma posição aleatória de pior caso no xadrez …

10 cc.complexity-theory  reference-request 

Qual é a definição padrão do Planar 3-SAT? Eu já vi várias definições diferentes. Qual foi o documento original que o definiu e provou ser NP-completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Vamos chamar um idioma NP com pouca certificação se e somente se:L ∈L∈L \in Existe um polinómio de tal modo que para cada entrada x ∈ Σ * de tamanho n , se x ∈ L , em seguida, o conjunto de L x de certificados u que verificam se …

10 cc.complexity-theory  complexity-classes 

Cruzado do MO . O isomorfismo do gráfico colorido (aresta) é GI, que preserva as cores (das arestas, se for colorido). Existem várias reduções usando transformações / dispositivos de GI colorido (borda) em GI. Para GI colorido de borda, o mais simples é substituir a borda colorida por um dispositivo …

10 graph-theory  graph-isomorphism  automorphism 

Dado que dois poliedros e Q , P e Q são equidecomponíveis se houver conjuntos finitos de poliedros P_1, \ ldots, P_n e Q_1, \ ldots, Q_n de modo que P_i e Q_i sejam congruentes para todos i , P = \ cup_ {i = 1} ^ n P_i e …

10 ds.algorithms  computational-geometry  polygon 

Em Tópicos avançados em tipos e linguagens de programação, é mencionado, no capítulo sobre sistemas de tipos subestruturais, que um cálculo lambda afinado "cuidadosamente criado" com um combinador de recursão para listas só pode digitar termos com tempo de execução polinomial (não apresentar a prova devido à complexidade). Isso seria …

10 cc.complexity-theory  type-theory  lambda-calculus 

Eu me deparei com um problema aberto colocado por David Eppstein e estou interessado em seu status de complexidade. Ele conjeturou que é NP-completo. Entrada: por matriz de 0 e 1, sequência de 0 e 1nnnnnnn2n2n^2 Pergunta: Existe um caminho através das entradas adjacentes da matriz, cobrindo cada entrada da …

10 cc.complexity-theory  graph-theory 

Existe alguma classe gráfica agradável para a qual a largura da árvore é delimitada por uma função do número de clique ω ( G ) , ou seja, t w ( G ) ≤ f ( ω ( G ) ) ?tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) Por exemplo, é um fato clássico que, …

10 graph-theory  treewidth 

Estou interessado em algoritmos para grupos finitos, conforme implementado no pacote GAP. Parece que todos os algoritmos conhecidos neste campo lidam com grupos de permutação / grupos de matrizes; dois fundamentais são Schreier-Sims [1970] e Butler [1979], veja, por exemplo, 'Algoritmos para grupos de permutação' de Alice Niemeyer como uma …

10 permutations  gr.group-theory