Perguntas com a marcação «reference-request»

Qualquer planar , respectivamente, outerplanar gráfico satisfaz , respectivamente, , para cada subgráfico de . Além disso, gráficos planares (externos) podem ser reconhecidos em tempo polinomial.| E ' | ≤ 3 | V ' | - 6 | E ' | ≤ 2 | V ' | - 3 G …

16 reference-request  graph-theory  graph-algorithms 

Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha. Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo objetivo.ϵϵ\epsilon Obviamente, essas variações podem ser formadas, mas …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

É sabido que no Sistema F, você pode codificar produtos binários com o tipo Pode, em seguida, definir projecção funções \ pi_1: A \ B vezes \ a A e \ pi_2: A \ vezes B \ em B .π 1 : A × B → A π 2 : …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Ao ler o blog de Dick Lipton, deparei-me com o seguinte fato no final de seu post no Bourne Factor : Se, para cada , existe uma relação da forma ( 2 n ) ! = M - 1 Σ k = 0 um K b c k k onde …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Dado um gráfico não direcionado de vértices , qual é o tempo de execução mais conhecido para encontrar um subgráfico que é uma biclique ? Existem algoritmos parametrizados mais rápidos que o algoritmo de tempo \ binom {n} {k} \ mbox {poly} (n) de "adivinhar" um lado da biclique e …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

O manuscrito a seguir está disponível publicamente? Dana Scott, 1969, uma teoria das funções computáveis ​​do tipo superior . Notas não publicadas do seminário, 7 páginas, University of Oxford. Há uma discussão deste artigo na seção 8.1.2, Tipos como conjuntos , em Cardone & Hindley, 2006 History of Lambda-calculus and …

16 reference-request  lo.logic  type-theory  domain-theory 

Faça um gráfico direcionado onde as bordas são decoradas com um número natural. Queremos o conjunto de todos os caminhos P entre dois vértices v 1 e v 2, de modo que cada aresta sucessiva no caminho seja decorada com um número natural que seja maior que o número natural …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

É sabido que as fórmulas aleatórias de CNF sobre n variáveis ​​com cláusulas c n são insatisfatórias (isto é, são contradições) com alta probabilidade, para uma constante suficientemente grande c . Assim, as fórmulas aleatórias de k- CNF (para c suficientemente grandes) constituem uma distribuição natural sobre fórmulas booleanas insatisfatórias …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Dados os pontos em e uma distância encontro o maior subconjunto desses pontos, de modo que a distância euclidiana de nenhum deles exceda .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Qual é a complexidade desse problema? No gráfico sobre os pontos que têm uma aresta sempre que a distância de dois pontos é no máximo , …

16 ds.algorithms  reference-request  cg.comp-geom 

Suponha que você tenha dois participantes arbitrariamente poderosos que não confiam um no outro. Eles têm acesso ao comprometimento de bits (por exemplo, envelopes selados contendo dados que um jogador pode entregar ao outro, mas que não podem ser abertos até que o primeiro jogador dê uma chave ao segundo). …

16 reference-request  cr.crypto-security 

Gráficos livres de X são aqueles que não contêm gráfico de X como um subgrafo induzido. Um buraco é um ciclo com pelo menos 4 vértices. Um buraco ímpar é um buraco com um número ímpar de vértices. Um anti - furo é o complemento de um buraco. Os gráficos …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Como na área de artigos do ACM Journal on Experimental Algorithmic JEA . Quais foram os trabalhos fundamentais? Quais são os principais resultados? Como eles são caracterizados? Alguma conexão interessante com outras áreas da ciência da computação?

16 ds.algorithms  reference-request  experimental 

O que devo ler para entender esse problema? O poder dos circuitos quânticos de pequena profundidade. Is ? Em outras palavras, a parte "quântica" de qualquer algoritmo quântico pode ser compactada até a profundidade do polilog (n), desde que desejemos realizar um pós-processamento clássico em tempo polinomial? (Sabe-se que isso …

16 cc.complexity-theory  reference-request  quantum-computing 

Alguns antecedentes: lógicas de muitos valores Łukasiewicz foram concebidas como lógicas modais, e Łukasiewicz deu uma definição extensional do operador modal: (que ele atribui a Tarski).◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Isso fornece uma lógica modal estranha, com alguns teoremas paradoxais, se não aparentemente absurdos, notadamente . Substitua por …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Eu estou procurando artigos e artigos sobre lógicas estruturais subestruturais - não sobre a semântica de modalidades lógicas lineares, mas sobre lógicas subestruturais aumentadas com operadores modais padrão, por exemplo, K estrutural (algo como MALL com operador de caixa, necessidade e regras K).

15 reference-request  lo.logic  proof-theory