Ciência da Computação Teórica

Como encontrar os cantos do cubo da unidade em mais próximo de um ponto no cubo? Use a métrica L1, para que em 4d | - 0000 | = , | - 0001 = ( x 0 à direita) e assim por diante.R d x x ∑ x i x …

8 ds.algorithms  approximation-algorithms  heuristics 

Estou lendo os Algoritmos Simplex de Caminho Mais Curto Eficiente de Donald Goldfarb, Jianxiu Hao e Shen-Roan Kai que consideraram "a especialização do algoritmo simplex primitivo para o problema de encontrar uma árvore de caminhos mais curtos direcionados de um determinado nó para todos os outros nós em" uma rede …

8 ds.algorithms  linear-programming  shortest-path  simplex 

A linguagem dos whileprogramas pode expressar as funções enumeráveis ​​computacionalmente. (Isso é verdade mesmo que as únicas operações aritméticas nas variáveis ​​sejam, por exemplo, incremento e decrementação.) Se whilefor substituído por for, tornando os loops sempre limitados, o idioma poderá expressar apenas as funções recursivas primitivas. Recentemente, tomei conhecimento da …

8 cc.complexity-theory  computability  pl.programming-languages 

Eu fui brincar com retomadas recentemente, principalmente a partir de papel clássico de Abramsky Refazendo alguns caminhos em Álgebra de Processos . Eles são bastante lisos (basicamente soluções para a equação de domínio ) e lembram muito as redes Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times R) Certamente, essa observação não …

8 reference-request  pl.programming-languages  functional-programming 

Net (conhecido também como FreeNet, ou como NetWalk) é um jogo jogado em um grade com os seguintes objetos:n×nn×nn \times n existem computadores ; cada computador ocupa uma célula e possui um cabo de ligação;mmm cada computador deve estar conectado à unidade central que ocupa uma célula e possui 1, …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Espero que esta pergunta não seja muito ingênua para este site. Em matemática (topologia, geometria, álgebra), é comum distinguir entre dois objetos criando uma invariante algébrica ou numérica e provando que os dois objetos têm valores diferentes. Estou me perguntando até que ponto isso foi tentado com classes de complexidade …

8 cc.complexity-theory  complexity-classes  algebra 

Existe algum limite conhecido (não trivial) (de natureza combinatória, com base nas propriedades computáveis ​​em tempo poligímico de um gráfico) no terceiro, até o menor valor próprio de uma matriz de adjacência (não ponderada)? Por exemplo, sabemos que o maior valor próprio admite os seguintes limites Algo do sabor acima …

8 graph-theory  co.combinatorics  spectral-graph-theory 

Suponha que tenhamos dois números fatorados em seus primos, representados como listas de (p, d), onde todos os p são primos ed é a potência de p. Existe uma maneira de comparar esses dois números sem convertê-los em números inteiros longos? A comparação de dois números pode ser reduzida à …

8 ds.algorithms  nt.number-theory 

Gostaria de saber se existe um algoritmo sublinear para excluir ou contrar uma aresta em uma incorporação combinatória de, digamos, gráfico planar? Como na incorporação combinatória, temos que manter os vértices de G e G * ao mesmo tempo, levando em consideração que a contração no primal é a exclusão …

8 ds.algorithms  graph-theory  graph-algorithms  planar-graphs  embeddings 

Thor Johnson, et al., Em seu artigo: Directed Tree Width , introduziram uma definição para a grade direcionada , e eles conjeturaram:JkJkJ_k Para todo número inteiro k existe um número inteiro N tal que todo dígrafo com a largura da árvore N ou mais tem um menor isomórfico para J …

8 reference-request  graph-theory  co.combinatorics  graph-minor 

No artigo de Savitch em 1969, "Relações entre complexidades de fita não determinísticas e determinísticas", ele afirma que "todas as funções comuns de armazenamento L (n)> = lg n são mensuráveis. Em particular, qualquer polinômio em n e lg n é mensurável". Sua definição de mensurável é: "Diz-se que uma …

8 cc.complexity-theory  pspace  space-complexity 

Provas simultâneas de zero conhecimento com complexidade redonda logarítmica Os números das páginas são do próprio papel e não do pdf. Na página 3, "Diz-se que um sistema interativo de prova é zero de caixa preta (computacional) se houver uma máquina de oráculo de tempo polinomial probabilística tal que, para …

8 cr.crypto-security  concurrency  zero-knowledge 

Eu tenho dois domínios totalmente distintos (maçãs e laranjas) e eu tenho uma função que pega um conjunto de objetos do primeiro domínio e um conjunto de objetos do segundo domínio e retorna um número real.fff possui as seguintes propriedades interessantes:f( S, T)f(S,T)f(S,T) fixando , é não negativo, submodular e …

8 ds.algorithms  optimization  submodularity 

Deixe ser um conjunto de tamanho e ser um conjunto de tamanho , para fixa e , e de tal modo que . Qual é a (ou a) família Sperner em para a qual é maximizada?k B ℓ k ℓ A ∩ B = ∅ F A ∪ B F …

8 reference-request  co.combinatorics 

Não é difícil mostrar que classificar uma matriz de números é difícil para . Se a entrada é uma matriz de 1s e 0s então é essencialmente a função C o u n t (dado n bits de saída do número de 1s em binário) desde C S u n …

8 cc.complexity-theory  circuit-complexity  sorting