「任意の奇数を三倍して１を足すと必ず偶数になる」わけですから、それに引き続く「偶数だったら２で割る」の操作はワンセットになります．

　奇数１０１００１2に対しては

　　　　　　１０１００１

×２　　　１０１００１０

×３　　　１１１１０１１

＋１　　　１１１１１００

÷４　　　　　１１１１１（６２）

×２　　　　１１１１１０

×３　　　１０１１１０１

＋１　　　１０１１１１０

÷２　　　　１０１１１１（４７）

　すなわち，このループ

　　１０１００１→１１１１１→１０１１１１→・・・

が巡回することなしに１０１０・・・０１０１にたどり着くかどうかという問題になる．

　「任意の奇数を二倍して１を足すと必ず奇数になる」「任意の奇数を四倍して１を足すと必ず奇数になる」わけですから、それに引き続く「偶数だったら２で割る」の操作は無効になります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝