From 430d31920088f9df46d8ee0894b7125ea51a5f50 Mon Sep 17 00:00:00 2001
From: Zengtudor <zengtudor@outlook.com>
Date: Sun, 25 Aug 2024 13:16:15 +0800
Subject: [PATCH] update

---
 20240823/十四届蓝桥比赛/数独填数.cpp | 154 +++++++++++++--------------
 out.txt                              | Bin 0 -> 125932 bytes
 xmake.lua                            |   3 +-
 3 files changed, 76 insertions(+), 81 deletions(-)
 create mode 100644 out.txt

diff --git a/20240823/十四届蓝桥比赛/数独填数.cpp b/20240823/十四届蓝桥比赛/数独填数.cpp
index e92b354..7cc258b 100644
--- a/20240823/十四届蓝桥比赛/数独填数.cpp
+++ b/20240823/十四届蓝桥比赛/数独填数.cpp
@@ -1,32 +1,76 @@
-//NOT DONE
 #include<bits/stdc++.h>
 using namespace std;
 
+int m[10][10];
+bool h_is_used[10][10],l_is_used[10][10],t_is_used[4][4][10];
+
 #ifdef OI
 #define DB(code){code}
+#define PV(v){cout<<#v<<" : "<<(v)<<endl;}
 #else
 #define DB(code)
+#define PV(v)
 #endif
 
-int m[10][10];
-// bool check_h[10][10],check_l[10][10],check_yx[20][10],check_zx[20][10];
-// bool check_all(int x,int y,int num){
-//     if(check_h[x][num]){
-//         return false;
-//     }
-//     if(check_l[y][num]){
-//         return false;
-//     }
-//     if(check_yx[x-y+8][num]){
-//         return false;
-//     }
-//     if(check_zx[])
-// }
+void dfs(int x,int y);
+optional<pair<int,int>> find_next(int x,int y);
+
+int main(){
+    for(int i=1;i<=9;i++){
+        string str;
+        getline(cin,str);
+        for(int j=1;j<=9;j++){
+            if(str[j-1]=='.'){
+                m[i][j]=-1;
+            }else{
+                m[i][j]=str[j-1]-'0';
+                h_is_used[i][m[i][j]]=true;
+                l_is_used[j][m[i][j]]=true;
+                t_is_used[i/3+1][j/3+1][m[i][j]]=true;
+            }
+        }
+    }
+    DB(
+        for(int i=1;i<=9;i++){
+            for(int j=1;j<=9;j++){
+                cout<<m[i][j]<<"\t";
+            }
+            cout<<endl;
+        }
+    )
+    auto find = find_next(1, 1);
+    if(find.has_value()==false){
+        for(int i=1;i<=9;i++){
+            for(int j=1;j<=9;j++){
+                cout<<m[i][j];
+            }
+            cout<<endl;
+        }
+        exit(0);
+    }
+    dfs(find->first, find->second);
+}
+
+optional<pair<int,int>> find_next(int x,int y){
+    for (int j=y+1; j<=9; j++) {
+        if(m[x][j]==-1){
+            return make_optional<pair<int,int>>({x,j});
+        }
+    }
+    for(int i=x+1;i<=9;i++){
+        for(int j=1;j<=9;j++){
+            if(m[i][j]==-1){
+                return make_optional<pair<int,int>>({i,j});
+            }
+        }
+    }
+    return nullopt;
+}   
 
-// bool check(int x,int y,int num);
-bool check(int x,int y,int num);
 void dfs(int x,int y){
-    if(x==9&&y==9){
+    DB(PV(x)PV(y)cout<<endl;)
+    auto find = find_next(x, y);
+    if(find.has_value()==false){
         for(int i=1;i<=9;i++){
             for(int j=1;j<=9;j++){
                 cout<<m[i][j];
@@ -36,69 +80,19 @@ void dfs(int x,int y){
         exit(0);
     }
     for(int i=1;i<=9;i++){
-
-    }
-}
-
-int main(){
-    for(int i=1;i<=9;i++){
-        char ch[15];
-        cin.getline(ch,10);
-        for(int j=1;j<=9;j++){
-            if(ch[j-1]=='.'){
-                m[i][j]=-1;
-            }else{
-                m[i][j]=ch[j-1]-'0';
-            }
+        if(h_is_used[x][i]||l_is_used[y][i]||t_is_used[x/3+1][y/3+1][i]){
+            continue;
         }
-    }
-    DB(
-        for(int i=1;i<=9;i++){
-            for(int j=1;j<=9;j++){
-                cout<<m[i][j]<<" ";
-            }
-            cout<<endl;
-        }
-    )
-    
-}
+        h_is_used[x][i]=true,
+        l_is_used[y][i]=true,
+        t_is_used[x/3+1][y/3+1][i]=true;
+        m[x][y]=i;
 
-// void dfs(int x,int y){
+        dfs(find->first, find->second);
 
-// }
-
-bool check(int x,int y,int num){
-    for(int i=1;i<=9;i++){
-        if(m[i][y]==num){
-            return false;
-        }
+        h_is_used[x][i]=false;
+        l_is_used[y][i]=false;
+        t_is_used[x/3+1][y/3+1][i]=false;
+        m[x][y]=-1;
     }
-    for(int i=1;i<=9;i++){
-        if(m[x][i]==num){
-            return false;
-        }
-    }
-    for(int i=x+1,j=y+1;i<=9&&j<=9;i++,j++){
-        if(m[i][j]==num){
-            return false;
-        }
-    }
-    for(int i=x-1,j=y-1;i>=1&&j>=1;i--,j--){
-        if(m[i][j]==num){
-            return false;
-        }
-    }
-    return true;
-}
-
-/*
-17.5..8..
-.52.1....
-.....759.
-.8...94.3
-.197.4..8
-7......15
-4.1...6..
-3...2..59
-...96..3.
-*/
\ No newline at end of file
+}
\ No newline at end of file
diff --git a/out.txt b/out.txt
new file mode 100644
index 0000000000000000000000000000000000000000..3a5bd8d0c779d95513aa0f647c212b23a3399bcb
GIT binary patch
literal 125932
zcmeI5U6Le65rpRznQ;d$zykvGcQSE#U|Y#(`s<Hww@_AgWmV;auwD5?WVnY%R93fk
z`Om-q_VK5WAHV(c*N@w;{`vc_+V6jQ`2C+hzPtO$?|(;cu`R;?`xRrX{hQnQx08SV
zJ<C_jV+AeZ_LKkk{ipx_?N?tBw_0xa7pt$IY|*!zx1ay|iD#9yfB&h>E#@oN|L6R}
zx7_#HZZWs|?*Co;^_P0>_n!)UF}aVqF?!7XmG>6&>&IU{e);y#-+trvumAn-@4x--
zIsVUp{}Aw>0{(Nrd*ipS@B7~>{?xCjd9NSwe~2G(*GK%v5N~}LpK$BX`1$H<j(x5_
z@y6!9Kg8{S;_e@D&j)eqOS~T6DtgYJcsuPm|Iz%e&Oh}x;nt7+_5LBA`k(OSkK61#
zpPzdFYV%*u&;BoeJoc|wAI5t=h`WCYr$3yZxbqYD{;1*g{Nz{nALGrRxa&(e`8%Gt
z^<)0|`0@T`{fLjg-&sGNU%#KSKh~f4y8pf2e@(6X=NtWP{}A{5B%J+mJaL~-JjL68
zj5p5u?Jwdj+jIRAZhp+4_$B;!{A&EIANyO^r#GJU&*vZ3m-MlJsn2Nr?O&ds>UTW(
zAH6?U=RewiN#BH@-G6I8yuM%ApWHw8Pr~Qgf1~+1|Izuge(wk3_6Kpt(?7k>H|x**
zt}o%NfA;q?>&yDhpSa_x&+Pp<J3srI{W~6i)^Gn2KOR5MPpZGMy?;L^|MT^q`j{Va
z>q9)nC;by{fAakK_9N@7>%(||{z-iA{+J)<=ji=4zq#~Z^YQxqYV>?KKmBk25MT50
zx_?QZgs=H{t*`yd{bv6XPx>3@_j~RS@!tQwE#>#~mFFis<sbe1X}vz~AK#yd&;I^x
zf3bf1mw1YIe;J?fdVbEA`$N1{bN~KQ!>teFU4O!<kK>73KjuF=f9p&Bb$x2_?Wgbk
z!T8bjxxYNW&i`EgxH|vQ{!99<`FMRlbbmO1);HmE&HreA&fm+Q@w4w&^H2UrIQiRu
z#H|nW_uel?^PBztZGEZ#+52;Le)e~7e;L30^Z5Kt`W$P2H8$^j|9G!Ho)4aH{=`#!
z+Aj(BeDVCfpMQ1!tlyu15#L*X^W%Ka-apqrm%hv2kIxVGC-pD+FX5gq`rGFdPx<%m
zuj{A2=1)AuC;kcFTOZfg%b)S{?RS1Z<o*&L{r!*o&-3^G{%kb=(fO?}_m}Ta#Aknh
z_x!Sc^XGh;Kk>956Ylw9e%GIH@^gOT&QIL>)bM(K@>}{p-hZfn(l_Dm@457EYQ6LQ
zoc*!B#IN3;(fcXsn{fAU&Btw;KL7rux_<P(^(9`<ziof)Pv&=h2`4}2C+_^jlYR-W
z=O@43=d<}Uzw1jl^>I9L>%;uB^PBztZGEZ#+52OE_wr}_)%88Qe_FTSd4HX2|9O5`
zpY<W0;*)<8?)l^S^F2RUUtJ%@@BR6u>*szvdjHIi`Y-=Kem+8d+<)Rp-xR;M|6L#b
zZ+{Rsf8r_s?EBCB*njIoJjEw{5<a_ruD@3w#?LoDqrYF`eEEJreD?P{`-An5_V@Pl
zOMfPQ-VfxT;;j$k6JF0xe)b>nq;JBl5A(bJgi{~qC+_^jd-bj7C%>cX@BUNY(f#S|
zpX1NfpV9g!|0n$H`mgzT{eEVDa{la}gs=T`|NY!(ecd1GKYG4L^PBztZGEZ#+56-E
z_wr}_)%88Qe_FTK_bXrj|9E`9S|8$`KjO(h3HSUlfA9NKy?&nW`ib}E-~011*U$ZE
z{={eRpZT$W%m1(M@9sbKOZukxz5Va{=x_UjxcL)L`PckB`tMx&x&LRMAAY~$`EF12
z&;P#E{%5?O|HM6i#7F=68uR1%iQnk@()soJIiKzi@utS}`*-{4=eYaJ{GKo3=Fj<a
z{lr}#ao0yY)tB(?>!&`hpLo4K#=Cyv_59Sg-anqdJ^$YN81MRsC;fVH_mAiI>fgHY
z&iQBm&5wA}&+*&p<NohmANjdH;z_?=e6;?{pO5!*_P5@D#;5)}f3N=;Z~qWa^*NsW
z>id!L=1<)9CH(CCYWHvJ%lOgv^XuKe=ki~x=KlV{`LREUkDfoD->V<vy}yW?A92T1
zpWgk~PTQ|PqxHYKzV0vmHCliBm*-!-KUe2J+J8ykgxkO8+P`Z*?EC(;xBonU^tbCv
zIQP5r6L)^%p1&Gi&rg26_bc;fe%F_9@}KYXf7X}!XZ|Uk`pn*+v-7jR*}pn}#$Vk(
zO^y5aGwQRw{&UTj`LRChLp;SNe<s}i<oWaMC)QWjhw=V=jriXEF+a}F(fezDbLqe4
z<MsQ+==pGd`rrN`zUJd~|B^llU-R)=U;CH)&Hg2x^f&(A@2A{<p6}-?amRCheg7an
z-}@u`=lY3n?~l>>slWY4yjAo3{-5HLKN4QgPyKrPH@d%xU&5{5x%hAIzist#ea!Fv
z5#QcloL`?$+~*TFKjJCB{mJ-**Yi`~HUEA08~cO$+8@N-zl75t&QIL=iQ8X1zt<nG
zkNI66@$K~`f1gj>=My(S;wiuNXMDoz`Kj;T{Y~{J-1;1g-}2Av{p<d-zs5N~2|v1j
z=6gS+{??cH+52;LertcN{q^0){pTOG{oJ;}eLVNW_WojhqwhbipXZxD@f4r-OTxXM
zdH!g9Tp!P`^Jlz2pC!Jx{^m#jTOZ<k_s{jurSIPQxPR0q>6hYX_qXSZ{xyH%=1+X@
z{<?nl*Zhg6_{2Zqd+X!+digVcKL4lh|A@Q)#7F=6yV3dWzxVR<`P?7A-w<!rKEI!O
zz8UZS68C%%PxaU1IX~u4-27^|`7_@2C!G2?KXK<Lp7c$4JwN#^{U6_-*`K6u!ri}f
z>EG0PzMs~7Jo=0Mw?4$}uY}XT&QIL=iQB)#Q+&dmpZt!#pPE{0KA!#kxArIdZ~r8m
z{&arg&QIL_tl{<i<k#ze^Jjk7mvHiTJaOyC{Im0${r+uzssGvgV}JMZXZ+RmJ-dHe
zx8M1Eo@@VkepsLNA)exse-iHb<N5PFKUiN~AI9(f`J(IRemr{r%#Zpn|G$2Jb^obf
z(l^EL?SI!t|JxtL&7XM6Kl}bOKlb1H5Kr+*pM=k@pX=|{hw<~xPkUm2{{8c=kGT8C
z?{ED4CvJZcAN~E4`SJY3Z*+a>{CfS|Z|)EArpEL8xAzC*-CyFKFXHCU`EmWkT_17R
zM?BS+@a^lTKCYj5y*|dfe&Y4~)VJP0p1(c+-uf8t`iLj}dU5xU=lAO0y77EJm_PfM
z__=<@C%m42TYa|Y-&-H!T_5qJUoY<d@%-h_*Y9_AeW-7}|BO%lcYe-qinl))pYVEq
z@|#`X^YN?QzwIx^kG`K@@BYpC+uMJwn)~|)=hyxq?)np6<L~op@oB#$-28aH<H^5w
z|LxtM(fVIqU-y^(8m+(m%k!_^pR4m9?Z2dN!tLL4?ccQ@UcbNDpX|T=lkmCr-)Mf$
z-^-uzo=@WL4{^t{f4%oB^Jjk7mvGiU-{=3V&-xNKf8vg(KC}1d?ELI+_OH&L@$NtI
zdj4bir?I_%e<uI!^`A>0^J9J1hj@xl{z<s~$@AyiPpq%5599s$8u7jRV}6{UqxaYR
z=F)%7$Lsft(evT_^uPT>e9gz}{v~}9zUJe#zV<KooBc~X>2LhK-%q*!Jm1e(;*RJ1
z`u;(DzV}D=&-D}E-XEj$Q-Ax9c&q05{XfMge<Zw~pZfLoZ*+eXzl2-AbMfEaf7|Ng
z`k3GSBfh=AIKMuhxX&kUe#BFL`;+kruji+}YySK0H}(hhwLgfve+j2QoS(S!6Su#3
zey=}VAM?9D;@j&>{yv|$&nIqv#8ZCj&-jGb^Hblw`<v=dxb-;}zvZ9T``7(ve~oi~
z5`J|5%=dms{jD$Yv-juh{MP<j`)mFE^!K0t@cHEVAl|m&ACFJ_CE?!BtZ(o8Vbah1
zSie7?CBC=*=69^;qwAkb-{tSu&!^Ns&sWW#o-fAxeB$Z+z5DC>m;Y~$`~3Sa+&}7*
z^h@#c?f3NkA93?1KKjq!jn41+d@nzr&;8>24e?g({r!x1``vTg{bjuUO+3|KkLUcE
zKXLP`;pWeH*Pn3e<NU;(pLo(Y;r0CFxAcF!pRhkk--Nq==hDBawcq}+zP0{2{#^YT
zy`Pf*6MlC6*L*zgSI(FHN!<QPIOpH_i90`W`?H4E^OIli^V$5F-}NP&{2fo+`Z53P
z{ARy@TVLvb_Ws!4z5E$}b$!q7pVsYn-e2e1f1V%KXMKpL_~f62d;WO-e9sToSJ#K}
zdw;&@`neyE-aqrB{>%Tb@9*wE^-KDu_`Ut_`sjcAgShz<Px)uxf9A*jTOZ;nKIxP2
z+4Xb%z4|bIzWHfS?9cD#+#h~F<L5hZ`-k}G@0YAE&rkg3tB?E1`V((#pWmN7|BQG4
zh<iSWTVML$^%Hk}#9bfpRA0ikub=w3e&Y4|81MRt*Yi`~djEL-_WXP6W4!Alp7iU*
z-9Mh+tAFdp^Zj7{>|f&N`Wc__dj4(o*`9xIeT;W~#FKu#xckTRmp@;>pVjrDzV-ey
zKK0-EIln31{$PB<>-ouVc74yskN0c)hxoc*Kkf(4N8KO2@!QT%tLFZG!Tk0Iaq~}j
zjla*Y#i#vcob~tar|tFa<v%+=)@Of_|7d@t^N;7Bn!fh$d-b=zJpbzbxjO&7=l|;Z
zul?|NKjeP3KZ)Bv37>2Kjppb4N9WJ_XMes~|K!hvlmC3*f3Uu*_s9Dw>BIi_zCVrj
zpYxO7@%Xd;tNXX9asT-S_1V7v%zr%paDH7saqCAs#rykz#=C#S>*v?{<NUSw>&;(p
ze;B{FKkPsDfBEC}`%jvG>&O15_`Ut%`quX+H%EN__i64g=g0aH_x_|m_P$?wKd?UY
zC!Y8x-1(_rinqRuPk22)`S<p3d;M8o;+Jsi$NWd<zrFvq)yMTQzxzjgdw+4hd_HlX
zPu%>7r~LLO;}c%bPkoQ>|Eu%g-hbQr!}T%0`$ydKN4%b&^X2o2`+VX)pLoij<~!l_
z{M4^^{>`8HU0=d`^<)0o`B}eS{)}J#d3--k`W(wY>-(F>{<43q+qa+j_2VxezkK_L
zxaW`f+Fy_Qa(=8IaqCAs?Wcs-^RvIRKOfG{&+|!tjP}>j^|e0qxA_sD@AKQ$|J%m>
z{QNfc@9h0w`{D8V%lW;YKluHQ{ZD-KpPxBi{&wSezF&x&A8|iFi2MFVyf=Qn`slyL
z_Wu2Yc&~rWf7|>&emw3U=6C;yyZ^-N@w^{cU*hewd;N*;{d}=L-0$W`-1XOR`;YN{
zzEHn}ACKSSf18%)&j<G3{vlrXM=iddpZ%S0zF1%4*VKBx-}dg$)#rb-{?@lPKaQvW
zjy@lw^-uG8c76BWKcn@ve>fkh{|TS3{>AV9{^S17wO?Idt$+64(fQT*U;X{C*FS5&
z-L}R3{hR*ly+76a!}C*rod4+a&-$;v-<lft{-i$V>p%T(e#EU0@f4rtE8+Gh&!2C9
zu)exJjQ8ii#P{xx&tLO%e?PW9>|fm<)OXF#>-)v*^W*-XtH0()|F8LY?O)F~^-KDu
z`1j8Tzu)xpo&NXpo%r$IPg%eFL)`kX|JH|i%XWXit>L}?O8gRjcK+6v{jcj&i?8RW
ze~#`y&j<C}yFX|5fAZgG{jD$ipXzh`x#nZE{#Vy`@BL%{&gFmmkMm{!B>Y<ZtY0sG
z#$Vk(>;2>P`)hN{^Y;(?GtF<p=}+$m;`T4|_ug+u^K*XktMg~P^&wu*e=L0)+k5|#
z|MvRNrH}csKI=m~#V7wH-2UYG^UW{otLww~_kVsz|EK=gAB;DD;wk^^{Wm}M&-xHg
z@kyVA&#s^A@70I#v(JzFzvkoiH2(ba7uJXUwSUf~pZSr0T_483e?IvA(9!?=UaCLg
z+yD8(b|d<nAMbza@B0&R`-^zum++(KH$Up{`6BNA5cm8OAANpr{$BpQ=O=yZ_0j*W
z8~5*z#7Fzv`fPjt_WOzTS%2d0AD{2mpLol5-yh=bch7P6kMW*Q;;z4C{M^s3pSbI*
z;jW+Yss4l?kKeZZtuOn3KK*L^&d0yzAI~rKTmHH2-sk&w?U&d3oNvB3ALrvY`~IN*
zo<HL6@6TN4Z@<6EZ+88!&VRo5i(~m`@BMLg|6ZMco0jMI&+YYT8Mk`>cYVz7`68b9
zJ3j3f=I{M{qnDrSXMMf=T_5%F`NaKvXMKC?*Q?L${M;Yv-^)M6FaNxLzrDJDmOrlM
zkM#Wq@$~&q@Ao(L?`K$_{Y!jw{oWt%J^%gu+Ku7!ewq0DenEYD`<M79y!ZU~`=9qa
z>r1?;{rvso==TTL-#Yr~PxqI&?`PC6;r2iCyFbKJ{Ryx0<N1kS!hQbP^{eqq`kmcB
z_Am8Y{@M5b>Hcs(xIe`0?}W4ejwkN(iKqDE&DYua)%?-acz%D`-XGN8{vrN;|IKy&
z)%CwR|M}i8I3H_%U*9jT?%%8PZ_~2h^Y#7D&(`rj{`mmoT|e=puj9GDM*B0J@BK-B
zy`OKGAM?Au8s4jaig*3&pX(=XeTmoOsn6N_v-E#_zO(=K4{`gOpU<by&)@&~H|ul%
LiI1-TIQjnzhNy$$

literal 0
HcmV?d00001

diff --git a/xmake.lua b/xmake.lua
index 08ec4d7..7f0e66f 100644
--- a/xmake.lua
+++ b/xmake.lua
@@ -1,6 +1,7 @@
 add_rules("mode.debug","mode.release")
 if is_mode("debug") then 
-    add_cxxflags("-O2","-DOI")
+    -- add_cxxflags("-O2","-DOI")
+    add_cxxflags("-DOI")
 end 
 set_languages("c++17")