esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits,...
Esta é uma pergunta um tanto subjetiva. Estou interessado em estudar a literatura sobre resultados de corte de fluxo multicomodidade, especialmente os resultados "positivos" que mostram que o fluxo é uma boa aproximação ao corte (por exemplo, dentro de um fator constante ou polilogarítmico no...
Por "bom", quero dizer, ou o algoritmo fornece um limite relativamente apertado ou possui um tempo de execução relativamente rápido. Qualquer referência é bem
Estou procurando no ML a geração de código mais eficiente (ou seja, heurísticas de tempo de compilação e tempo de execução). Eu tenho um phd (compiladores, hpc), mas muito pouca experiência em ML. Eu apreciaria todas as referências ao trabalho existente. Mais importante, quais técnicas de...
Quais algoritmos / técnicas matemáticas estão disponíveis para contar exatamente / aproximadamente o número de conjuntos independentes? Existe / há uma boa referência / boas referências sobre este tópico? Estou interessado em gráficos
Existem algoritmos fáceis para calcular o envelope superior de um arranjo de linhas no plano. Veja, por exemplo, a seção 2.3 na pesquisa Sequências de Davenport-Schinzel e suas aplicações geométricas . Existem algoritmos / estruturas de dados conhecidos para a versão dinâmica do mesmo problema?...
Estou tentando esclarecer meu entendimento no exemplo apresentado na Seção 2.2 dos autômatos finitos quânticos de 1 via: fortalece as fraquezas e as generalizações (esse link alternativo também pode ser útil). Este exemplo fornece um exemplo muito simplificado de um 1-QFA com as seguintes regras de...
O teorema do ponto de fixação de Tarski afirma que os pontos de fixação de um operador monótono em uma rede completa são uma rede completa. Por conseqüência, temos um ponto de correção maior e menos único para um operador monótono em uma rede completa. Os pontos de correção podem ser únicos, mas...
Estou interessado em ponteiros para algoritmos (algoritmos de aproximação são bons) que tentam particionar um gráfico em dois subconjuntos, de modo que a soma dos pesos das arestas em cada subconjunto seja (aproximadamente) igual e a soma dos pesos das arestas entre os dois subconjuntos é...
Um problema de decisão tem boa caracterização se estiver em . Muitos problemas gráficos naturais têm boas caracterizações. Por exemplo, o Teorema de Kuratuwski fornece uma boa caracterização de gráficos planares. O Teorema de Konig fornece uma boa caracterização de gráficos bipartidos. O Teorema de...
Por que precisamos de avaliações para definir a semântica da lógica de primeira ordem? Por que não apenas defini-lo para sentenças e também definir substituições de fórmulas (da maneira esperada). Isso deve ser o suficiente: M⊨∀x.ϕ⟺for all d∈dom(M), M⊨ϕ[x↦d]M⊨∀x.ϕ⟺for all d∈dom(M), M⊨ϕ[x↦d]M...
A suposição decisória de Diffie-Hellman , ou DDH, em resumo, é um problema famoso na criptografia. A suposição DDH se aplica a um grupo cíclico (G,∗)(G,∗)(G,*) de ordem (principal) , se for para um gerador e escolhido aleatoriamente \ mathbb {Z} _q $$, o os seguintes pares são indistinguíveis (para...
Ao aprender problemas de otimização, geralmente consideramos a programação linear (ou mais geralmente: otimização convexa) como o exemplo mais simples. É solucionável em tempo polinomial e possui algoritmos relativamente fáceis de entender. No entanto, a versão de decisão do LP é concluída. Isso...
Deixe que e Y ser conjuntos, e B ser uma partição de X x Y . Gostaria de provar que não existe uma distribuição de D ao longo X x Y cuja marginal é uniforme ao longo de X , e de tal modo que a distribuição ao longo B induzida por D tem grande entropia (o último distribuição é definida através da...
Estou procurando uma solução para o seguinte problema e me pergunto se alguém poderia me indicar alguma pesquisa existente sobre esse tópico. Como venho de uma aplicação de gráfico no mundo real, tenha paciência comigo se minha terminologia não estiver exatamente correta. Eu tenho um sistema de...
A classificação usando comparações de dois elementos tem uma complexidade assintótica de pior caso de (alcançada por mergesort, heapsort, inserção binária, ford-johnson, pelo menos), o que é ideal.nlog2(n)nlog2(n)n \log_2(n) Se classificarmos usando comparações que classificam k elementos como...
Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui. A seguir está um resultado que eu pude encontrar [veja ref L92]: 3-A coloração de um ciclo n requer tempo...
Sabe-se se a classificação tensorial dos tensores tridimensionais se encontra no VNP (classe valente não determinística)? Se sim, o que se sabe sobre a classificação tensorial de alta dimensão? Na verdade, estou interessado em um problema muito mais simples. Gostaria de saber se é possível...
Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S...
Eu sou novo no estudo de sistemas de reescrita como aluno de doutorado no primeiro ano. Gostaria de propor um curso de tópicos especiais sobre a reescrita da teoria e quero ter certeza de não deixar nenhuma das fontes originais de fora. Tenho uma cópia de Barendregt e Terese como fontes de livros...