Estou interessado no problema de empacotar cópias idênticas de retângulos (bidimensionais) em um polígono convexo (bidimensional) sem sobreposições. No meu problema, você não tem permissão para girar os retângulos e pode assumir que eles estão orientados paralelamente aos eixos. Você recebe as...
Esta questão foi migrada da Cross Validated porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Tenho um problema bastante único para resolver e espero que alguém aqui possa me dar algumas dicas sobre a melhor forma de
O problema Nem todos iguais -SAT (NAE k -SAT), dado um conjunto C de cláusulas sobre um conjunto X de variáveis booleanas, de modo que cada cláusula contém no máximo k literais, pergunta se existe uma atribuição de verdade das variáveis, de forma que cada cláusula contém pelo menos um literal...
Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que...
Alguém pode sugerir uma pesquisa boa e recente sobre a contagem de problemas e / ou problemas que são #P.
Fiquei imaginando quais ferramentas as pessoas desse campo (ciência da computação teórica) usam para criar apresentações. Como grande parte da ciência da computação não está apenas escrevendo artigos, mas também fazendo apresentações, pensei que essa seria uma questão importante e delicada. Isso é...
Inspirado pelas extensas hierarquias presentes na teoria da complexidade, perguntei-me se essas hierarquias também estavam presentes nos sistemas de tipos. No entanto, os dois exemplos que encontrei até agora são mais como listas de verificação (com recursos ortogonais) do que hierarquias (com...
Recentemente, estou recebendo meus artigos rejeitados de periódicos (por exemplo, TALG) com base apenas em não ter uma diferença significativa entre a versão do periódico e os procedimentos (por exemplo, SODA). As principais razões para eu enviar para uma revista é o seu processo de revisão...
Na prática, para uma linguagem que possa eventualmente ser compilada / transformada em instruções no nível do sistema, é necessário que seja uma gramática livre de contexto? ex: todas as linguagens de programação / script possuem gramática livre de contexto? Java é baseado em CFGs, mas será que...
Sabe-se que o ciclo hamiltoniano (presunto abreviado) é NP-completo e que o ciclo planar de presunto é NP-completo. A prova para o Ciclo de Presunto Planar não é do Ciclo de Presunto. Existe um gadget legal que, dado um gráfico G, substitua todos os cruzamentos por algum gadget planar, para que...
Considere um corpo convexo centrado na origem e simétrico (ou seja, se então ). Desejo encontrar um corpo convexo diferente tal que e a seguinte medida seja minimizada:KKKx∈Kx∈Kx\in K−x∈K−x∈K-x\in KLLLK⊆LK⊆LK\subseteq L xf(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}) , onde é um...
Inspirados por essa pergunta , quais são os principais problemas e soluções existentes que precisam ser aprimorados no domínio de sistemas distribuídos (teóricos). Algo como protocolos de associação, consistência de
Eu estou tentando encontrar o quão perto e realmente são, quando e é uma constante, não dependendo de n (assim ). Minha estimativa é que whp, mas não consegui provar isso.E [ t w ( G ) ] G ∈ G ( n , p = c / n )t w ( L )tW(G)tw(G)E[ T w ( L ) ]E[tW(G)]E[tw(G)]G ∈ G ( n , p = c / n )G∈G(n,p=c/n)G...
Na computação quântica, estamos frequentemente interessados nos casos em que o grupo de operadores unitários especiais, G, para algum sistema d-dimensional fornece ao grupo todo SU (d) exatamente ou mesmo apenas uma aproximação fornecida por uma cobertura densa de SU (d). Um grupo de ordem...
O problema de parada indica que é impossível escrever um programa que possa determinar se outro programa é interrompido para todos os programas de entrada possíveis . Eu posso, no entanto, certamente escrever um programa que pode calcular o tempo de execução de um programa como: for(i=0; i<N;...
Sabemos que é difícil aproximar o Conjunto Independente Máximo (MIS) dentro de um fator de para qualquer menos que P = NP. Quais são algumas classes especiais de gráficos para as quais são conhecidos melhores algoritmos de aproximação?n1 - ϵn1-ϵn^{1-\epsilon}ε > 0ϵ>0 0\epsilon > 0 Quais são...
Há claramente uma redução de CLIQUE para k-Color porque ambos são NP-Complete. Na verdade, eu posso construir um compondo uma redução de CLIQUE para 3-SAT com uma redução de 3-SAT para k-Color. O que eu quero saber é se existe uma redução direta razoável entre esses problemas. Digamos, uma redução...
Recentemente, vi vários artigos sobre o arxiv que se referem a um sistema de prova chamado soma de quadrados. Alguém pode explicar o que é uma prova de soma de quadrados e por que essas provas são importantes / interessantes? Como eles estão relacionados a outros sistemas de provas algébricas?...
Dado um conjunto de pessoas que eu gostaria de sentar-los para uma seqüência de refeições em mesas de tamanho k . (É claro que existem mesas suficientes para acomodar todos | S | para cada refeição.) Gostaria de organizar isso de modo que ninguém compartilhe uma mesa com a mesma pessoa duas vezes....
Eu postei isso anteriormente no MSE, mas foi sugerido que aqui pode ser um lugar melhor para perguntar. O teorema da aproximação universal afirma que "a rede de alimentação padrão de múltiplas camadas com uma única camada oculta, que contém um número finito de neurônios ocultos, é um aproximador...