Ciência da Computação Teórica

Uma árvore de decisão de leitura única é definida da seguinte maneira: TrueTrueTrue e são árvores de decisão de leitura única.FalseFalseFalse Se e são árvores de decisão de leitura única e é uma variável que não ocorre em e , também é uma árvore de decisão leitura única.AAABBBxxxAAABBB(x∧A)∨(x¯∧B)(x∧A)∨(x¯∧B)(x \land A) …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

A classe UP é definida como tal: A classe de problemas de decisão solucionáveis ​​por uma máquina NP tal que Se a resposta for 'sim', exatamente um caminho de computação será aceito. Se a resposta for 'não', todos os caminhos de computação serão rejeitados. Estou tentando desenvolver intuição para essa …

11 cc.complexity-theory  complexity-classes 

Estou ciente de que o Cálculo de Construções está fortemente normalizando, o que significa que toda expressão tem um normal, pois não pode ser beta, reduzida ainda mais. Portanto, de fato, essa é a expressão mais eficiente que calcula o mesmo valor da expressão original. Mas, em certos casos, a …

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

Aproximadamente uma matriz da classificação é considerada rígida, se reduzir sua classificação para nnnn , é necessário alterar pelo menosn1+ϵde suas entradas, para algunsϵ>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Se um matriz A é rígida, então o mais pequeno programa linear computação Um x ( x é um vector de dimensão N ) …

11 cc.complexity-theory 

Considere conjuntos de valores (representados como matrizes classificadas sem duplicatas e com um tamanho conhecido (ou seja, o tamanho pode ser obtido em O (1)) .Os valores podem ser testados quanto à igualdade no tempo O (1). para obter o conjunto de valores presentes em pelo menos conjuntos diferentes entre …

11 ds.algorithms 

Vamos fixar e um número inteiro .0<E<10<E<100 para qualquer e para qualquer vetor tal quennnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } Não sei se …

11 co.combinatorics  it.information-theory 

Houve algum estudo para determinar se a inteligência humana pode superar os algoritmos (ou seja, testar se o Teorema Sem Almoço Gratuito se aplica à inteligência humana)? Na mesma linha, alguém desenvolveu um método técnico para tirar proveito de quaisquer propriedades supra-computacionais únicas da inteligência humana?

11 ds.algorithms  big-picture  ai.artificial-intel 

No artigo de Stephen Cook sobre o problema P vs NP, [1] ele afirma o seguinte [2]: Tese de Viabilidade: Um problema natural tem um algoritmo viável se tiver um algoritmo de tempo polinomial. Minha pergunta é: o que exatamente ele (ou, em geral, realmente, o que alguém) quer dizer …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Diz-se que dois grupos (G,⋅)(G,⋅)(G,\cdot) e (H,×)(H,×)(H, \times) são isomórficos se existir um homomorfismo de GGG a HHH que seja bijetivo. O problema do isomorfismo do grupo é o seguinte: dados dois grupos, verifique se são isomórficos ou não. Existem diferentes maneiras de inserir um grupo, os dois mais usados …

11 ds.algorithms  gr.group-theory 

Na teoria da complexidade, a definição de complexidade do tempo e do espaço faz referência a uma máquina universal de Turing: resp. o número de etapas antes de parar e o número de células na fita tocadas. Dada a tese de Church-Turing, também deve ser possível definir a complexidade em …

11 time-complexity  lambda-calculus 

Seja um oráculo genérico no sentido da categoria Cohen / Baire. Seja R um oráculo aleatório.GGGRRR Existem classes de complexidade A e B com ou o contrário, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} A pergunta foi inspirada por um comentário de Scott Aaronson .

11 cc.complexity-theory  complexity-classes 

É sabido que, para uma classe conceitual com a dimensão VC , basta obter exemplos rotulados para o PAC learn . Não está claro para mim se o algoritmo de aprendizado do PAC (que usa essas muitas amostras) é adequado ou impróprio? Nos livros de Kearns e Vazirani, bem como …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Venho programando há vários anos, mas não estou familiarizado com o CS teórico. Recentemente, tenho tentado estudar linguagens de programação e, como parte disso, verificação de tipo e inferência. Minha pergunta é: se eu tentar escrever um programa de inferência e verificação de tipo para uma linguagem de programação e …

11 coq  type-inference  proof-assistants 

Estou interessado nas propriedades combinatórias das redes sociais como gráficos. As pessoas analisaram coisas como a distribuição dos graus, o coeficiente de agrupamento e a compressibilidade desses gráficos. Uma pergunta básica é: esses gráficos geralmente são bons gráficos de expansão? Alguém verificou, digamos, a lacuna espectral do gráfico do facebook? …

11 graph-theory  application-of-theory  expanders 

A teoria dos tipos de Martin-Löf é basicamente o cálculo predicativo de construções indutivas sem impredicative ?PropProp\mathtt{Prop} Se eles estão intimamente relacionados, mas com mais diferenças do que apenas , quais são essas diferenças?PropProp\mathtt{Prop}

11 type-theory  calculus-of-constructions