#3679 (XOR): https://scratch.mit.edu/discuss/post/9355285/ #3683 (XNOR): https://scratch.mit.edu/discuss/post/9357045/ @Catapult-Lab (@Catapult- のサブアカウント / 's alt account) @sakura_neko_sub (@sakura_neko のサブアカウント / 's alt account) プロジェクトで問題を紹介してくれました Introduced me to this problem with their projects (English below) ６ブロック（最適）または７ブロックで１ビットのXORとXNORを計算し、任意に-0の結果を利用できます。+, -, *, /, 切り下げ、切り上げ、四捨五入しか使いません。解答を作ったなら、おそらく何らかの形でこのプロジェクトにもあります。しかし、別のプロジェクトからコピーしませんでした。 大体は命令合成で生成しました：Z3のSMTソルバーで、定数を含む有効の解答を合成できます！ 浮動小数点演算の代わりに固定小数点演算で合成しましたので、こういう定数はほぼ常に手動で調整する必要があったか、実際にその解答形は無理です。 私自身の７ブロックのXORもあります。やっぱり命令合成も単独で見つけました。 私の日本語能力不足ですから、フォーラムに投稿する予定はありません。建設的の方法で完全に考えを述べられないことを恐れています。 Computes 1-bit XOR and XNOR with 6 blocks (optimal) or 7 blocks, optionally resulting in -0, using only +, -, *, /, floor, ceil, round. Odds are if you have created a solution, this includes it in some form, although none were taken from others to add to the project. The outlines for these were generated via instruction synthesis: Using the Z3 SMT solver, one can generate valid solutions including constants! Due to synthesizing using fixed point instead of floating point, these constants almost always had to be manually adjusted, simplified, or the synthesized solutions simply didn't work. I also provided my evil, non-synthesized 7 block solution for XOR! The synthesizer also eventually found this, of course. I am not posting this within the forum thread due to my own subpar Japanese capability. I fear being unable to thoroughly express myself in a productive manner.
