Pertanyaan yang diberi tag «combinatory-logic»

Saat ini saya membaca " Lambda-Calculus and Combinators " oleh Hindley dan Seldin. Saya bukan ahli, tetapi selalu tertarik pada kalkulus lambda karena keterlibatan dengan pemrograman fungsional (dimulai dengan Lisp dan SICP, dan sekarang dengan R dan Haskell). Dalam " Binary Lambda Calculus and Combinatory Logic" , John Tromp menyatakan: …

26 combinatory-logic  functional-programming  lambda-calculus 

Kompleksitas kelas PPAD (misalnya, menghitung berbagai kesetimbangan Nash) dapat didefinisikan sebagai sekumpulan masalah pencarian total yang dapat direduksi menjadi polytime menjadi END OF THE LINE : END OF THE LINE : Sirkuit yang diberikan S dan P dengan n bit input dan n bit output sedemikian sehingga P (0 n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Saya mencari kombinator universal terkecil yang mungkin , diukur dengan jumlah abstraksi dan aplikasi yang diperlukan untuk menentukan kombinator tersebut dalam kalkulus lambda . Contoh-contoh kombinator universal meliputi: ukuran 23: λf.f (fS (KKKI)) K ukuran 18: λf.f (fS (KK)) K ukuran 14: λf.fKSK ukuran 12: λf.fS (λxyz.x) ukuran 11: λf.fSK …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Saya telah memikirkan pertanyaan-pertanyaan ini: Apakah ada kalkulus lambda yang diketik yang konsisten dan Turing lengkap? /cs/65003/if-%CE%BBxxx-has-a-type-then-is-the-type-system-inconsistent dan sudah ada beberapa pertanyaan yang sulit dijawab terkait dalam pengaturan yang tidak diketik ! Lebih khusus lagi, saya ingin tahu apakah kami dapat memulihkan Turing-kelengkapan dari non-pemutusan dengan cara berikut: Pertanyaan: Mengingat …

14 lambda-calculus  combinatory-logic 

Ini terinspirasi oleh pertanyaan ini . Misalkan adalah kumpulan semua kombinator yang hanya memiliki dua variabel terikat. Apakah C lengkap secara kombinasi?CC\mathcal{C}CC\mathcal{C} Saya percaya jawabannya negatif, namun saya tidak dapat menemukan referensi untuk ini. Saya juga akan tertarik pada referensi untuk bukti ketidaklengkapan kombinatorial dari set combinator (saya dapat melihat …

10 lo.logic  lambda-calculus  combinatory-logic 

Saya telah tertarik pada berbagai topik seperti Combinatory Logic, Lambda Calculus, Functional Programming untuk sementara waktu dan telah mempelajarinya. Namun, tidak seperti "Theory of Computation" yang berusaha menjawab pertanyaan "computability" yaitu, hal-hal yang dapat / tidak dapat dihitung dengan berbagai kendala, saya berjuang untuk menemukan analog untuk "Theory of Programming" …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Terinspirasi oleh pertanyaan ini , saya ingin tahu apakah ada strategi pengurangan untuk kombinator SKI yang tidak dikenal yang dikenal sebagai normalisasi atau abadi. Seperti dijelaskan di sini (Twelfed here ), aturan nondeterminstic dari kalkulus combinator adalah sebagai berikut: sayax → xIx→xIx \rightarrow x Kx y→ xKxy→xKxy \rightarrow x Sx …

8 pl.programming-languages  combinatory-logic