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

Recentemente, fiquei extremamente interessado em entender e provar aspectos de linguagens de programação (funcionais). λλ\lambda Eu li o SICP (um livro bastante esclarecedor), mas estou procurando aprofundar a teoria da programação funcional. Existe algum livro / blog / site / nome-do-it que discuta a teoria das linguagens de programação funcional …

15 reference-request  lambda-calculus  functional-programming  books 

Sou assistente de prova de autoaprendizagem e decidi começar com algumas provas básicas e seguir em frente. Como as provas são baseadas em outras provas e, portanto, formam uma hierarquia, existe um repositório da hierarquia de provas? Eu sei que posso escolher um assistente de prova específico e analisar sua …

15 reference-request  logic  proof-assistants 

Eu normalmente uso o símbolo para string vazia (palavra vazia ou string nula). Mas eu sei que algumas pessoas usam λ em vez de ε .εε\varepsilonλλ\lambdaεε\varepsilon Eu acho que é derivado da palavra "Vazio". No entanto, não sei qual é a origem de λ .εε\varepsilonλλ\lambda Na teoria dos autômatos, há …

14 formal-languages  automata  reference-request  notation  history 

Gostaria de saber qual é o algoritmo mais conhecido, em termos de notação Big- , para resolver a Programação Linear Inteira?OOO Eu sei que o problema é completo, então não estou esperando nada polinomial. E eu sei que existem muitas heurísticas e outras que são usadas em aplicações práticas como …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Recentemente, um aluno me pediu para verificar uma prova de dureza NP para eles. Eles realizaram uma redução ao longo das linhas de: Reduzo esse problema P′P′P' que é conhecido como NP-completo para o meu problema (com uma redução de múltiplos de um tempo múltiplo), de modo que é NP-difícil.PPPPPP …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Suponha que nós estamos dando dois números e e que queremos encontrar para l \ le i, \, j \ le r .lllrrr l ≤ i ,max(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r O algoritmo ingênuo simplesmente verifica todos os pares possíveis; por exemplo, em ruby, teríamos: def max_xor(l, r) max = 0 …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Deixe ser um gráfico, e deixá- e seja dois vértices de . Podemos amostrar eficientemente um caminho - mais curto de maneira uniforme e independente, aleatoriamente, a partir do conjunto de todos os caminhos mais curtos entre e ? Por simplicidade, podemos assumir que é simples, sem direção e sem …

14 graph-theory  reference-request  shortest-path  sampling 

Alguém pode me encaminhar para artigos revisados ​​por pares estudando as vantagens ou desvantagens de escrever código em um estilo funcional? Existem documentos que discutem as aplicações do Lambda Calculus em áreas como Machine Learning, Language Design, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Eu tenho várias perguntas relacionadas sobre esses dois tópicos. Primeiro, a maioria dos textos de complexidade apenas encobre a classe . Existe um bom recurso que cubra a pesquisa com mais profundidade? Por exemplo, algo que discute todas as minhas perguntas abaixo. Além disso, estou assumindo que ainda vê uma …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Uma aplicação clássica de dividir e conquistar é resolver o seguinte problema: Dada uma matriz de elementos distintos e comparáveis, conte o número de pares de inversão na matriz: pares modo que e .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Uma abordagem para isso é fazer uma classificação de mesclagem, mas …

14 algorithms  reference-request  arrays 

De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Algoritmos e estruturas de dados alheios ao cache são algo bastante novo, introduzido por Frigo et al. em algoritmos alheios a cache, 1999 . A tese de Prokop do mesmo ano também apresenta as idéias iniciais. O artigo de Frigo et al. apresentar alguns resultados experimentais mostrando o potencial da …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

O problema da largura de banda mínima é encontrar uma ordem dos nós do gráfico na linha inteira que minimiza a maior distância entre dois nós adjacentes. O problema de decisão é NP-completo, mesmo para árvores binárias. Resultados de complexidade para minimização de largura de banda. Garey, Graham, Johnson e …

14 complexity-theory  np-complete  reference-request  approximation 

Eu sou um homem de 16 anos que recentemente recebeu uma grande enciclopédia em ciência da computação por um amigo meu. Normalmente, não estou tão interessado em computadores e tecnologia, mas a ciência da computação começou a me fascinar. Contudo, pretendo estudar Física e / ou Matemática e não CS, …

14 reference-request  education 

A literatura é bastante clara que RAMs de custo unitário com multiplicação primitiva são irracionais, pois não pode ser simulado por máquinas de Turing em tempo polinomial pode resolver problemas completos do PSPACE em tempo polinomial No entanto, todas as referências que posso encontrar sobre esse tópico (Simon 1974, Schonhage …

13 complexity-theory  reference-request  computation-models  history