Eu tenho uma pergunta (espero que simples, talvez idiota) no artigo de referência de Babai, mostrando que é quase-polinomial.GIGI\mathsf{GI} Babai mostrou como produzir um certificado com dois gráficos para i ∈ { 1 , 2 } são isomórficos, no tempo quase-polinomiais em v = | V i |...
Digamos que queríamos uma linguagem de programação funcional, pura e funcional, como Haskell ou Idris, voltada à programação de sistemas sem coleta de lixo e sem tempo de execução (ou pelo menos não mais do que os "durações" de C e Rust). Algo que pode funcionar, mais ou menos, em metal...
A prova de Omer Reingold que dá um algoritmo para USTCON (Em um U ndirected gráfico com vértices especiais e , eles são Con ACOPLADO?) Usando apenas logspace. A idéia básica é criar um gráfico de expansão a partir do gráfico original e, em seguida, percorrer o gráfico de expansão. O gráfico do...
Existe um velho truque para escrever um algoritmo que, se P = NP, resolve SAT em tempo polinomial. Essencialmente, listamos todas as máquinas do tempo polinomiais e várias tarefas sobre elas. Existe um truque análogo para funções de mão única (ou mesmo funções de alçapão de mão única)? Ou seja,...
No quadro de aprendizagem autômatos de Angluin , um estudante objetivos de aprender uma linguagem regular L ⊆ Σ∗eu⊆Σ∗L\subseteq \Sigma^* , pedindo dois tipos de perguntas para o professor: Consultas de palavras: dado , ?w ∈ Σ∗W∈Σ∗w\in \Sigma^*w ∈ LW∈euw\in L Consultas de equivalência: dado um...
Depois de ler a pergunta recente "O complemento de livre de contexto?" {www∣...}{www∣...}\{ www \mid ...\}; Lembrei-me de um problema semelhante que não era capaz de refutar: É livre de contexto?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{...
Considere o jogo a seguir em um gráfico ponderado direcionado GGG com um chip em algum nó. Todos os nós de GGG são marcados por A ou B. Existem dois jogadores Alice e Bob. O objetivo de Alice (Bob) é mudar o chip para um nó marcado por A (B). Inicialmente, Alice e Bob têm mAmAm_A e mBmBm_B...
No pior caso puramente funcional , listas ordenadas por tempo constante , Brodal et al. apresentar árvores equilibradas puramente funcionais com O (1) concatenado e O (lg n) inserir, excluir e localizar. A estrutura de dados é um pouco complicada. Existe uma árvore de pesquisa balanceada mais...
Sabe-se que, para a aprendizagem do PAC, existem classes de conceitos naturais (por exemplo, subconjuntos de listas de decisão) para as quais existem lacunas polinomiais entre a complexidade da amostra necessária para o aprendizado da teoria da informação por um aprendiz computacionalmente...
Deixe pontos distintos sentar em R 2 . Dizemos pontos i e j são vizinhos se | i - j | < 31...n1...n1 ... nR2R2\mathbb{R}^2iiijjj , significando que cada ponto é vizinho de pontos com índices dentro de 2 , contornando.|i−j|<3(modn−2)|i−j|<3(modn−2)|i-j| < 3 \pmod{n-2}222 O problema é:...
Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a
Os algoritmos de fluxo exigem, na maioria das vezes, randomização para fazer qualquer coisa não trivial e, devido à restrição de espaço pequeno, precisam de PRGs que usam pouco espaço. Conheço dois métodos que foram citados para uso em algoritmos de fluxo até agora: kkkPRGs -wise independentes,...
O conceito de um esquema de compartilhamento secreto é frequentemente atribuído a Shamir (A. Shamir, Como compartilhar um segredo , Comm. ACM, 22 (1979), pp. 612-613.) E Blakey (GR Blakey, Salvaguardando chaves criptográficas , em Proc. NCC, volume 48, 1979, pp. 313-317.). A idéia geral é que...
Os problemas de coloração de gráficos já são difíceis o suficiente para a maioria das pessoas . Mesmo assim, terei que ser difícil e perguntar um problema sobre a coloração hipergráfica. Questão. Quais algoritmos eficientes existem para encontrar uma coloração de borda aproximadamente ideal para...
Quais algoritmos úteis existem que funcionam em enormes fluxos de dados e também seus resultados são razoavelmente pequenos e pode-se calcular o resultado para uma mistura de dois fluxos, de alguma forma, mesclando seus resultados? Eu posso citar alguns: Coisas óbvias como soma, mínimo, máximo,...
Este é um seguimento da recente pergunta de David Eppstein e é motivado pelos mesmos problemas. Suponha que eu tenha um dag com pesos em número real em seus vértices. Inicialmente, todos os vértices são desmarcados. Posso alterar o conjunto de vértices marcados (1) marcando um vértice sem...
Let { 0 , . . . , N - 1 } e ∘ : S × S → S . Eu quero calcular a complexidade da comunicação para decidir se ∘ é associativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ O modelo é o seguinte. é dada como uma matriz M . Alice (resp. Bob) recebe...
O papel Lauri Hella e José María Turull-Torres, Consultas de computação com lógicas de ordem superior , TCS 355 197-214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propõe lógica VO, lógica de ordem variável. Isso permite a quantificação de pedidos sobre as variáveis. O VO é bastante poderoso e...
A largura da árvore mede o quão perto um gráfico está de uma árvore. Vários problemas difíceis de NP são tratáveis em gráficos com largura de árvore delimitada. Se um problema persistir com NP em árvores, a largura da árvore não pode nos salvar. Essa foi a motivação por trás de uma das minhas...
Quais são os algoritmos mais eficientes para multiplicar duas matrizes booleanas muito esparsas (por exemplo, N = 200 e existem apenas 100-200 elementos diferentes de zero)? Na verdade, tenho a vantagem de que quando estou multiplicando A por B, os B são predefinidos e posso executar um...