「充足å¯èƒ½æ€§å•é¡Œ(3-SAT)を解ã乱択アルゴリズム〠by Julia - Qiitaå‰ç½®ã å…ƒãƒã‚¿ã¯ã€çµåŸŽæµ©æ°è‘—ã®ã€Œæ•°å¦ã‚¬ãƒ¼ãƒ« 乱択アルゴリズムã€ã€‚ æ–°ã—ã„言語を覚ãˆã‚‹ã¨ãã€æ…£ã‚Œã‚‹ãŸã‚ã«ã€Œå……足å¯èƒ½æ€§å•é¡Œï¼ˆ3-SAT）を解ã乱択アルゴリズムã€ï¼ˆp.353）を実装ã™ã‚‹ã¨ã„ã†ç™–ã‚’ã¤ã‘ã¦ã„ã¾1ã™ã€‚ ã¨ã„ã†ã“ã¨ã§ã€‚å‰å›žã® Egison版 ã«å¼•ã続ã。勉強開始約1ヶ月㮠Julia ( http://julialang.org/ ) ã§å®Ÿè£…ã—ã¦ã¿ã¾ã—ãŸ2。 開発環境・動作確èªç’°å¢ƒ Mac OSX 10.9.5 Julia 0.3.5 コード # Rw3sat.jl sample(a::Array) = a[rand(1:end)] immutable Literal index::Int not::Bool end literal(index, not) = Literal(index, not) # issatisfied(l::Literal, x::BitArray{1}) =
{{#tags}}- {{label}}
{{/tags}}