Pertanyaan yang diberi tag «reversible-computing»

Dalam permainan kerikil pada garis ada N + 1 node berlabel 0 hingga N. Permainan dimulai dengan kerikil pada simpul 0. Jika ada kerikil pada simpul i, Anda dapat menambah atau menghapus kerikil dari simpul i +1. Tujuannya adalah untuk menempatkan kerikil pada simpul N, tanpa menempatkan banyak kerikil pada …

13 complexity  reversible-computing 

Istilah inversi program memiliki banyak corak makna, tetapi mungkin dimulai dengan karya J. McCarthy tahun 1956, The Inversion of Functions Defined oleh Turing Machines dalam konteks AI. Saat ini banyak koneksi antara inversi program dan bidang lain telah ditemukan, misalnya pemrograman reversibel (fisik dan logis), evaluasi parsial, verifikasi, pemrograman dua …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Pertanyaan saya adalah tentang fungsi bijective yang dapat dihitung secara efisien. Secara informal saya tertarik pada: Jika suatu bijection dihitung dalam waktu polinomial, dapatkah kita menghitungnya dengan jumlah polinomial gerbang bijective? Saya telah memeriksa daftar pertanyaan yang relevan dan tidak menemukan yang ini. Pengaturan tepat saya mungkin atau mungkin tidak …

10 circuit-complexity  permutations  reversible-computing