Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se...
Enquanto ensinava como implementar FSMs usando circuitos lógicos síncronos, notei uma coincidência intrigante: tanto no mundo teórico do CS quanto no mundo da engenharia elétrica, "estado" é tipicamente denotado (e o espaço de estado Q ). Perguntei pela primeira vez no EE.sx , mas, ao pesquisar um...
Dizemos que uma função é construtível no tempo , se existir uma máquina de Turing determinística múltiplas fitas que em todas as entradas de comprimento faça no máximo etapas e para cada existe alguma entrada de comprimento na qual executa exatamente etapas. M n f ( n ) n n M f ( n...
Digamos que temos uma representação vetorial de qualquer número inteiro de magnitude n, V_n Esse vetor é a entrada para um algoritmo de aprendizado de máquina. Primeira pergunta: para que tipo de representações é possível aprender a primalidade / composição de n usando uma rede neural ou algum...
É fácil de ver que, se então há total de procurar problemas que não podem ser resolvidos em tempo polinomial (criar um problema total de busca tendo tanto as testemunhas de filiação como as testemunhas de não filiação).N PN P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N...
A página "Esquema avançado: alguns bits impertinentes" declara: As continuações são uma poderosa construção de fluxo de controle a partir da qual quase qualquer outra estrutura de fluxo de controle [...] pode ser derivada. Eu pensei que o esquema call/cc, estando relacionado (*) ao operador J...
O problema de partição é fracamente NP-completo, pois possui algoritmo de tempo polinomial (pseudo-polinomial) se os números inteiros de entrada estiverem delimitados por algum polinômio. No entanto, 3-Partition é um problema fortemente completo de NP, mesmo que números inteiros de entrada sejam...
Recorde-se que a largura de uma resolução refutation de uma fórmula CNF M é o número máximo de literais em qualquer cláusula que ocorre em R . Para cada w , existem fórmulas insatisfatórias F no 3-CNF st. Cada refutação de resolução de F requer largura pelo menos w .RRRFFFRRRWwwFFFFFFWWw Preciso...
Motivação: Um co-autor edita um manuscrito e eu gostaria de ver um resumo claro das edições. All "diff" -como ferramentas tendem a ser inútil se você está tanto em movimento texto ao redor (por exemplo, re-organização da estrutura) e fazer edições locais. É realmente tão difícil...
Eu encontrei o seguinte jogo. Vou migrar isso conforme solicitado. Um bug está visitando os círculos e um adversário deseja maximizar seu tempo de viagem. O adversário coloca um círculo a cada turno. O bug sai de sua posição atual diretamente em direção ao centro do círculo mais novo e depois...
Fora da academia, quais são os usos dos meus 'poderes'? O que posso fazer além de ensinar e publicar artigos? Onde todos posso aplicar meus poderes? Por uma questão de argumento: Por favor, assuma que eu tenho um PhD em algoritmos / TCS e aprendi uma grande quantidade de 'coisas' e criamos limites...
Se bolas forem colocadas em bandejas uniformemente aleatoriamente, a bandeja carregada mais pesada terá bolas com alta probabilidade. Em "O poder do hash de tabulação simples" , Pătraşcu e Thorup mencionam que "Chernoff-Hoeffding limita para aplicativos com independência limitada" ( espelho )...
Na semana passada, eu estava lendo novamente o transcrito de Leslie de Lamport, de 1982, de uma conferência que ele deu sobre problemas resolvidos, problemas não resolvidos e não problemas em simultâneo . O artigo é de fácil leitura, mas uma das coisas que me fez pensar é a seguinte afirmação:...
Estou procurando uma estrutura de dados que mantenha uma tabela inteira ttt de tamanho nnn e permita as seguintes operações no tempo O(logn)O(logn)O(\log n) . increase(a,b)increase(a,b)\text{increase}(a,b) , que aumentat[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] . , que diminui...
Dado um gráfico cíclico direcionado em que o peso de cada aresta pode ser negativo, o conceito de "caminho mais curto" só faz sentido se não houver ciclos negativos e, nesse caso, você pode aplicar o algoritmo de Bellman-Ford. No entanto, estou interessado em encontrar o caminho mais curto entre...
Eu quero definir uma noção de "proximidade" entre duas linguagens regulares de palavras finitas em (e / ou palavras infinitas em Σ w ). A idéia básica é que queremos que dois idiomas estejam próximos se eles não diferirem em muitas palavras. Também poderíamos usar a distância de edição de alguma...
O que se sabe sobre a classe de idiomas reconhecida por autômatos finitos com o mesmo estado inicial e de aceitação? Este é um subconjunto adequado dos idiomas regulares (já que todos os idiomas contêm a string vazia), mas qual é a sua fraqueza? Existe uma caracterização algébrica simples? O mesmo...
Dada uma matriz com entradas racionais. Qual é a complexidade para verificar é diagonalizável?A An × nn×nn\times nUMAAAUMAAA Suspeito que isso possa ser feito em P, mas não conheço nenhuma referência. No entanto, uma pergunta mais interessante é: existe alguma classe de complexidade melhor para...
Sabe-se que muitos problemas lógicos (por exemplo, problemas de satisfação de várias lógicas modais) não são decidíveis. Também existem muitos problemas indecidíveis na teoria de algoritmos, por exemplo, na otimização combinatória. Mas, na prática, heuristcs e algoritmos aproximados funcionam bem...
Informalmente, funções unidirecionais são definidas com relação aos algoritmos PTIME. Eles são computáveis em tempo polinomial, mas não invertíveis em tempo polinomial de caso médio. A existência de tais funções é um importante problema em aberto na ciência da computação teórica. Estou...