JS解出最近比較火的刑偵推理題

王玉略發表於2018-03-14

最近網上出了一個比較火的刑偵推理題，王二比較感興趣，於是抽空做了做。

一、推理題如下

二、遇到的問題

剛開始，王二寫下了如下程式碼：

<script>
    var arr = new Array(10).fill("A");
    
    recursion(); 

    function a1 (){
        return true;
    }
    function a2 (){
        switch(arr[1])
        {
        case "A":
            return arr[4] === "C"
        case "B":
            return arr[4] === "D"
        case "C":
            return arr[4] === "A"
        case "D":
            return arr[4] === "B"
        default:
            return false;
        }
    }
    function a3 (){
        switch(arr[2])
        {
        case "A":
            return arr[5] === arr[1] && arr[5] === arr[3]
        case "B":
            return arr[2] === arr[1] && arr[2] === arr[3]
        case "C":
            return arr[5] === arr[2] && arr[5] === arr[3]
        case "D":
            return arr[5] === arr[1] && arr[5] === arr[2]
        default:
            return false;
        }
    }
    function a4 (){
        var f1 = arr[0] === arr[4] ,
            f2 = arr[1] === arr[6] ,
            f3 = arr[0] === arr[8] ,
            f4 = arr[5] === arr[9] ;
        switch(arr[3])
        {
        case "A":
            return f1 && !f2 && !f3 && !f4
        case "B":
            return !f1 && f2 && !f3 && !f4
        case "C":
            return !f1 && !f2 && f3 && !f4
        case "D":
            return !f1 && !f2 && !f3 && f4
        default:
            return false;
        }
    }
    function a5 (){
        switch(arr[4])
        {
        case "A":
            return arr[7] === "A"
        case "B":
            return arr[3] === "B"
        case "C":
            return arr[8] === "C"
        case "D":
            return arr[6] === "D"
        default:
            return false;
        }
    }
    function a6 (){
        var f1 = arr[7] === arr[1] && arr[7] === arr[3] ,
            f2 = arr[7] === arr[0] && arr[7] === arr[5] ,
            f3 = arr[7] === arr[2] && arr[7] === arr[9] ,
            f4 = arr[7] === arr[4] && arr[7] === arr[8] ;
        switch(arr[5])
        {
        case "A":
            return f1 && !f2 && !f3 && !f4
        case "B":
            return !f1 && f2 && !f3 && !f4
        case "C":
            return !f1 && !f2 && f3 && !f4
        case "D":
            return !f1 && !f2 && !f3 && f4
        default:
            return false;
        }
    }
    function a7 (){
        var c1 = arr.filter((i)=>{return i === "A"}).length ,
            c2 = arr.filter((i)=>{return i === "B"}).length ,
            c3 = arr.filter((i)=>{return i === "C"}).length ,
            c4 = arr.filter((i)=>{return i === "D"}).length ;
        switch(arr[6])
        {
        case "A":
            return Math.min(c1,c2,c3,c4) === c3
        case "B":
            return Math.min(c1,c2,c3,c4) === c2
        case "C":
            return Math.min(c1,c2,c3,c4) === c1
        case "D":
            return Math.min(c1,c2,c3,c4) === c4
        default:
            return false;
        }
    }
    function a8 (){
        switch(arr[7])
        {
        case "A":
            return Math.abs(arr[0].charCodeAt(0) - arr[6].charCodeAt(0))>=2
        case "B":
            return Math.abs(arr[0].charCodeAt(0) - arr[4].charCodeAt(0))>=2
        case "C":
            return Math.abs(arr[0].charCodeAt(0) - arr[1].charCodeAt(0))>=2
        case "D":
            return Math.abs(arr[0].charCodeAt(0) - arr[9].charCodeAt(0))>=2
        default:
            return false;
        }
    }
    function a9 (){
        var flag = arr[0] === arr[5],
            f1 = (arr[4] === arr[5]) === !flag ,
            f2 = (arr[4] === arr[9]) === !flag ,
            f3 = (arr[4] === arr[1]) === !flag ,
            f4 = (arr[4] === arr[8]) === !flag ;
        switch(arr[8])
        {
        case "A":
            return f1 && !f2 && !f3 && !f4
        case "B":
            return !f1 && f2 && !f3 && !f4
        case "C":
            return !f1 && !f2 && f3 && !f4
        case "D":
            return !f1 && !f2 && !f3 && f4
        default:
            return false;
        }
    }
    function a10 (){
        var c1 = arr.filter((i)=>{return i === "A"}).length ,
            c2 = arr.filter((i)=>{return i === "B"}).length ,
            c3 = arr.filter((i)=>{return i === "C"}).length ,
            c4 = arr.filter((i)=>{return i === "D"}).length ;
        switch(arr[9])
        {
        case "A":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 3
        case "B":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 2
        case "C":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 4
        case "D":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 1
        default:
            return false;
        }
    }

    function vali () {
        return a1() && a2() && a3() && a4() && a5() && a6() && a7() && a8() && a9() && a10() ;
    }
    
    //遞迴遍歷arr的所有排列組合
    function recursion (){
        if(vali()){
            console.log(arr);
        }
        for(var x=0 ; x<arr.length ; x++){
            switch(arr[x])
            {
            case "A":
                arr[x] = "B" ;
                recursion () ;
                return ;
            case "B":
                arr[x] = "C" 
                recursion () ;
                return ;
            case "C":
                arr[x] = "D" ;
                recursion () ;
                return ;
            case "D":
                if(x===9) return ;
                arr[x] = "A" ;
                continue ;
            default:
                return ;
            }
        }
    }
</script>
複製程式碼

以上的程式碼邏輯上沒有問題，但是還是報了個錯——棧溢位

雖然王二也試著用尾遞迴優化來嘗試解決問題，但依然報錯

三、解決方法

後來王二躺床上又尋思怎麼才能解決這噁心的報錯，然後想到try catch 可以捕獲錯誤，或許我們能遞迴呼叫 try catch 來解決這個問題。按照這個思路王二又在程式碼片段中新增了如下的程式碼：

var flag = true ;

function run () {
    try {
        if(flag){
            flag = false ;
            recursion() ;
        }
    } catch (err) {
        flag = true;
        run();
    }
}
複製程式碼

意思是如果棧溢位報錯，則在 catch 再次呼叫 run() 方法，直到它不報錯為止，不報錯也就意味著arr陣列所有排列組合的可能性都被遍歷完了。

執行後，還真他孃的起作用了。

完整的程式碼片段如下所示（可以拷貝下來嘗試執行）：

<script>
    var arr = new Array(10).fill("A");
    var flag = true ;

    run(); // ["B", "C", "A", "C", "A", "C", "D", "A", "B", "A"]

    function run () {
        try {
            if(flag){
                flag = false ;
                recursion() ;
            }
        } catch (err) {
            flag = true;
            run();
        }
    }
    
    function a1 (){
        return true;
    }
    function a2 (){
        switch(arr[1])
        {
        case "A":
            return arr[4] === "C"
        case "B":
            return arr[4] === "D"
        case "C":
            return arr[4] === "A"
        case "D":
            return arr[4] === "B"
        default:
            return false;
        }
    }
    function a3 (){
        switch(arr[2])
        {
        case "A":
            return arr[5] === arr[1] && arr[5] === arr[3]
        case "B":
            return arr[2] === arr[1] && arr[2] === arr[3]
        case "C":
            return arr[5] === arr[2] && arr[5] === arr[3]
        case "D":
            return arr[5] === arr[1] && arr[5] === arr[2]
        default:
            return false;
        }
    }
    function a4 (){
        var f1 = arr[0] === arr[4] ,
            f2 = arr[1] === arr[6] ,
            f3 = arr[0] === arr[8] ,
            f4 = arr[5] === arr[9] ;
        switch(arr[3])
        {
        case "A":
            return f1 && !f2 && !f3 && !f4
        case "B":
            return !f1 && f2 && !f3 && !f4
        case "C":
            return !f1 && !f2 && f3 && !f4
        case "D":
            return !f1 && !f2 && !f3 && f4
        default:
            return false;
        }
    }
    function a5 (){
        switch(arr[4])
        {
        case "A":
            return arr[7] === "A"
        case "B":
            return arr[3] === "B"
        case "C":
            return arr[8] === "C"
        case "D":
            return arr[6] === "D"
        default:
            return false;
        }
    }
    function a6 (){
        var f1 = arr[7] === arr[1] && arr[7] === arr[3] ,
            f2 = arr[7] === arr[0] && arr[7] === arr[5] ,
            f3 = arr[7] === arr[2] && arr[7] === arr[9] ,
            f4 = arr[7] === arr[4] && arr[7] === arr[8] ;
        switch(arr[5])
        {
        case "A":
            return f1 && !f2 && !f3 && !f4
        case "B":
            return !f1 && f2 && !f3 && !f4
        case "C":
            return !f1 && !f2 && f3 && !f4
        case "D":
            return !f1 && !f2 && !f3 && f4
        default:
            return false;
        }
    }
    function a7 (){
        var c1 = arr.filter((i)=>{return i === "A"}).length ,
            c2 = arr.filter((i)=>{return i === "B"}).length ,
            c3 = arr.filter((i)=>{return i === "C"}).length ,
            c4 = arr.filter((i)=>{return i === "D"}).length ;
        switch(arr[6])
        {
        case "A":
            return Math.min(c1,c2,c3,c4) === c3
        case "B":
            return Math.min(c1,c2,c3,c4) === c2
        case "C":
            return Math.min(c1,c2,c3,c4) === c1
        case "D":
            return Math.min(c1,c2,c3,c4) === c4
        default:
            return false;
        }
    }
    function a8 (){
        switch(arr[7])
        {
        case "A":
            return Math.abs(arr[0].charCodeAt(0) - arr[6].charCodeAt(0))>=2
        case "B":
            return Math.abs(arr[0].charCodeAt(0) - arr[4].charCodeAt(0))>=2
        case "C":
            return Math.abs(arr[0].charCodeAt(0) - arr[1].charCodeAt(0))>=2
        case "D":
            return Math.abs(arr[0].charCodeAt(0) - arr[9].charCodeAt(0))>=2
        default:
            return false;
        }
    }
    function a9 (){
        var flag = arr[0] === arr[5],
            f1 = (arr[4] === arr[5]) === !flag ,
            f2 = (arr[4] === arr[9]) === !flag ,
            f3 = (arr[4] === arr[1]) === !flag ,
            f4 = (arr[4] === arr[8]) === !flag ;
        switch(arr[8])
        {
        case "A":
            return f1 && !f2 && !f3 && !f4
        case "B":
            return !f1 && f2 && !f3 && !f4
        case "C":
            return !f1 && !f2 && f3 && !f4
        case "D":
            return !f1 && !f2 && !f3 && f4
        default:
            return false;
        }
    }
    function a10 (){
        var c1 = arr.filter((i)=>{return i === "A"}).length ,
            c2 = arr.filter((i)=>{return i === "B"}).length ,
            c3 = arr.filter((i)=>{return i === "C"}).length ,
            c4 = arr.filter((i)=>{return i === "D"}).length ;
        switch(arr[9])
        {
        case "A":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 3
        case "B":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 2
        case "C":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 4
        case "D":
            return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 1
        default:
            return false;
        }
    }

    function vali () {
        return a1() && a2() && a3() && a4() && a5() && a6() && a7() && a8() && a9() && a10() ;
    }
    
    //遞迴遍歷arr的所有排列組合
    function recursion (){
        if(vali()){
            console.log(arr);
        }
        for(var x=0 ; x<arr.length ; x++){
            switch(arr[x])
            {
            case "A":
                arr[x] = "B" ;
                recursion () ;
                return ;
            case "B":
                arr[x] = "C" 
                recursion () ;
                return ;
            case "C":
                arr[x] = "D" ;
                recursion () ;
                return ;
            case "D":
                if(x===9) return ;
                arr[x] = "A" ;
                continue ;
            default:
                return ;
            }
        }
    }
</script>
複製程式碼

這樣的寫話棧溢位的問題似乎就比較完美的被解決了。

2018年04月27日補充：

其實那天晚上王二腦子進水了，其實這裡沒有必要用到遞迴呼叫，現修改程式碼如下：

var arr = new Array(10).fill("A");

while(recursion(arr)!=='done'){
    vali() && console.log(arr)
}

function a1 (){
    return true;
}
function a2 (){
    switch(arr[1])
    {
    case "A":
        return arr[4] === "C"
    case "B":
        return arr[4] === "D"
    case "C":
        return arr[4] === "A"
    case "D":
        return arr[4] === "B"
    default:
        return false;
    }
}
function a3 (){
    switch(arr[2])
    {
    case "A":
        return arr[5] === arr[1] && arr[5] === arr[3]
    case "B":
        return arr[2] === arr[1] && arr[2] === arr[3]
    case "C":
        return arr[5] === arr[2] && arr[5] === arr[3]
    case "D":
        return arr[5] === arr[1] && arr[5] === arr[2]
    default:
        return false;
    }
}
function a4 (){
    var f1 = arr[0] === arr[4] ,
        f2 = arr[1] === arr[6] ,
        f3 = arr[0] === arr[8] ,
        f4 = arr[5] === arr[9] ;
    switch(arr[3])
    {
    case "A":
        return f1 && !f2 && !f3 && !f4
    case "B":
        return !f1 && f2 && !f3 && !f4
    case "C":
        return !f1 && !f2 && f3 && !f4
    case "D":
        return !f1 && !f2 && !f3 && f4
    default:
        return false;
    }
}
function a5 (){
    switch(arr[4])
    {
    case "A":
        return arr[7] === "A"
    case "B":
        return arr[3] === "B"
    case "C":
        return arr[8] === "C"
    case "D":
        return arr[6] === "D"
    default:
        return false;
    }
}
function a6 (){
    var f1 = arr[7] === arr[1] && arr[7] === arr[3] ,
        f2 = arr[7] === arr[0] && arr[7] === arr[5] ,
        f3 = arr[7] === arr[2] && arr[7] === arr[9] ,
        f4 = arr[7] === arr[4] && arr[7] === arr[8] ;
    switch(arr[5])
    {
    case "A":
        return f1 && !f2 && !f3 && !f4
    case "B":
        return !f1 && f2 && !f3 && !f4
    case "C":
        return !f1 && !f2 && f3 && !f4
    case "D":
        return !f1 && !f2 && !f3 && f4
    default:
        return false;
    }
}
function a7 (){
    var c1 = arr.filter((i)=>{return i === "A"}).length ,
        c2 = arr.filter((i)=>{return i === "B"}).length ,
        c3 = arr.filter((i)=>{return i === "C"}).length ,
        c4 = arr.filter((i)=>{return i === "D"}).length ;
    switch(arr[6])
    {
    case "A":
        return Math.min(c1,c2,c3,c4) === c3
    case "B":
        return Math.min(c1,c2,c3,c4) === c2
    case "C":
        return Math.min(c1,c2,c3,c4) === c1
    case "D":
        return Math.min(c1,c2,c3,c4) === c4
    default:
        return false;
    }
}
function a8 (){
    switch(arr[7])
    {
    case "A":
        return Math.abs(arr[0].charCodeAt(0) - arr[6].charCodeAt(0))>=2
    case "B":
        return Math.abs(arr[0].charCodeAt(0) - arr[4].charCodeAt(0))>=2
    case "C":
        return Math.abs(arr[0].charCodeAt(0) - arr[1].charCodeAt(0))>=2
    case "D":
        return Math.abs(arr[0].charCodeAt(0) - arr[9].charCodeAt(0))>=2
    default:
        return false;
    }
}
function a9 (){
    var flag = arr[0] === arr[5],
        f1 = (arr[4] === arr[5]) === !flag ,
        f2 = (arr[4] === arr[9]) === !flag ,
        f3 = (arr[4] === arr[1]) === !flag ,
        f4 = (arr[4] === arr[8]) === !flag ;
    switch(arr[8])
    {
    case "A":
        return f1 && !f2 && !f3 && !f4
    case "B":
        return !f1 && f2 && !f3 && !f4
    case "C":
        return !f1 && !f2 && f3 && !f4
    case "D":
        return !f1 && !f2 && !f3 && f4
    default:
        return false;
    }
}
function a10 (){
    var c1 = arr.filter((i)=>{return i === "A"}).length ,
        c2 = arr.filter((i)=>{return i === "B"}).length ,
        c3 = arr.filter((i)=>{return i === "C"}).length ,
        c4 = arr.filter((i)=>{return i === "D"}).length ;
    switch(arr[9])
    {
    case "A":
        return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 3
    case "B":
        return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 2
    case "C":
        return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 4
    case "D":
        return Math.max(c1,c2,c3,c4) - Math.min(c1,c2,c3,c4) === 1
    default:
        return false;
    }
}

function vali () {
    return a1() && a2() && a3() && a4() && a5() && a6() && a7() && a8() && a9() && a10() ;
}


function recursion(arr){
    for(var x=0 ; x<arr.length ; x++){
        switch(arr[x])
        {
        case "A":
            arr[x] = "B" ;
            return arr;
        case "B":
            arr[x] = "C" 
            return arr;
        case "C":
            arr[x] = "D" ;
            return arr;
        case "D":
            if(x===9) return 'done';
            arr[x] = "A" ;
            continue ;
        default:
            return 'error';
        }
    }
}
複製程式碼

如此簡單的問題王二那天想的那麼複雜，也是醉了。

原文地址：王玉略的個人網站

高手過招:用SQL解決環環相扣的刑偵推理問題(羅海雄版本)
2018-06-15
SQL
js 深比較和淺比較
2020-11-26
JS
幾個比較火的BI分析工具
2020-09-23
密室、殺人、謎團……綜藝帶火的解密推理風潮，引全民偵探？
2020-05-28
解密
Vue中的計算屬性和偵聽器比較
2019-04-08
Vue
js比較日期 - JavaScript
2020-11-14
JSJavaScript
js物件陣列Date的比較
2019-02-25
JS物件陣列
比較重要的例題
2024-03-15
JS變數比較陷阱
2018-08-30
JS變數
js物件如何深比較？
2024-12-02
JS物件
聊聊最近很火的eBPF
2020-08-13
eBPF
盤點 7 月份比較火的開源專案
2021-07-30
最近很火的區塊鏈
2019-03-01
區塊鏈
怎麼理解今年 CV 比較火的擴散模型（DDPM）？
2024-03-12
模型
Vue.js構建工具比較
2020-09-05
Vue.js
最近比賽的wp
2024-04-13
React.js和Vue.js的語法並列比較
2021-09-09
ReactVue.js
比較適用的js日期物件定義方式
2018-05-25
JS物件
JS嵌入html的方式及各種方式的比較
2019-02-16
JSHTML
php比較運算子的安全問題
2020-08-19
PHP
js精確比較浮點數大小
2024-06-14
JS
盤點：2022年10款比較火的專案管理軟體
2022-06-07
專案管理
直播平臺開發，純時間比較(時分)，不含日期，js前端比較
2023-09-28
JS前端
版本號比較大小問題
2019-12-27
Java 字串比較、拼接問題
2020-07-11
Java字串
【JS 口袋書】第 7 章：JS 中的型別轉換與比較
2019-10-17
JS型別
hiformance註冊教程及優惠碼，近期比較火的超低價VPS
2018-10-20
ORM
Node.js與Spring Boot比較？ - Ryan Gleason
2020-03-30
Node.jsSpring Boot
哋它亢：最近很火的網路詞
2024-11-21
[精選]php 如何使用最近很火的ChatGPT
2022-12-15
PHPChatGPT
Integer的比較
2024-07-03
JS 物件合併與克隆方法的分類與比較
2019-03-04
JS物件
數學趣題：比較大小（二）
2018-09-22
Go和Python比較的話，哪個比較好？
2019-04-03
GoPython
NSDate 時間比較中的時區問題.
2019-03-28
不花錢體驗最近火出圈的 ChatGPT！是真的！
2023-02-10
ChatGPT
比較Java與Node.js的併發性和效能- maxant
2021-11-24
JavaNode.js
Js 比較兩個物件的鍵名與鍵值是否相等
2023-03-10
JS物件

JS解出最近比較火的刑偵推理題

一、推理題如下

二、遇到的問題

三、解決方法

相關文章