Os algoritmos de tempo polinomial são conhecidos por encontrar conjuntos geradores de grupos de permutação, o que é interessante, pois podemos então representar esses grupos de maneira sucinta, sem desistir dos algoritmos de tempo polinomial para responder a muitas perguntas interessantes...
Minimização de circuitos é o problema para minimizar o tamanho de um determinado circuito. Existe algo semelhante para programas gerais? Em particular, minha pergunta é - Existem algoritmos para minimizar o número de instruções para um determinado programa. Sei que é um problema indecidível, mas...
Sabemos que a igualdade beta de termos lambda simplesmente digitados é decidível. Dado M, N: σ → τ, é decidível se para todos os X: σ, MX ≃β≃β≃_β
Esta pergunta é sobre se existem tarpits reversíveis conhecidos de Turing, onde "reversível" significa no sentido de Axelsen e Glück , e "tarpit" é um conceito muito mais informal (e pode não ser uma escolha muito boa de palavra), mas farei o possível para explicar o que quero dizer com isso. O...
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, para qualquer...
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...
A desigualdade de Fano pode ser declarada de várias formas, e uma particularmente útil é devida (com uma pequena modificação) a Oded Regev : Seja uma variável aleatória e onde é um processo aleatório. Suponha que exista um procedimento que, dado que possa reconstruir com probabilidade . Então Y...
Folga complementar (CS) é comumente ensinada quando se fala de dualidade. Estabelece uma boa relação entre as restrições / variáveis primárias e as duplas do ponto de vista matemático. Os dois principais motivos para a aplicação do CS (conforme ensinado em cursos de graduação e livros...
Há algum tempo, estou muito interessado em teoria da linguagem de programação e cálculo de processos e comecei a estudá-los. Para ser honesto, é algo que eu não me importaria de seguir para uma carreira. Acho a teoria incrivelmente fascinante. Uma pergunta constante em que continuo me deparando é...
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...
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 Q = \ cup_ {i = 1} ^ n Q_i . Sabe-se que, se P e Q são polígonos de área...
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 x ∈ L é polinomialmente dimensionada, isto é, | L x | ≤ p ( n )...
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
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...
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 ) (ou seja, a permutação de identidade), a cada passo t ∈ [ m ] , trocamos o elemento i t...
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...
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 aqui depende...
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...
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 ( x ) x ∈ { 0 , 1 } n p ( x...
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 é...