xor

論理式 ブーリアン論理式は、ジョージ・ブールによって開発された論理学の分野で使用される数学的な表現です。これは、真と偽の2つの値（通常は1と0、または真と偽）を使って論理的な条件や関係を表現するための方法です。 ブーリアン論理式は主に論理演算子を使用して構築されます。主要なブーリアン演算子には以下のものがあります： 1. 論理積（AND）：二つの条件が両方とも真の場合に真となります。 2. 論理和（OR）：二つの条件のどちらかが真の場合に真となります。 3. 否定（NOT）：条件を反転させ、真なら偽、偽なら真となります。 ブーリアン論理式は、コンピュータプログラムの条件文、論理回路の設計、デー…

ABC201E 距離の定義に XOR が用いられている． 桁毎に独立して計算して，集計するのが良さそう． Tree であることを用いると，根からの距離を用いて \(i , j \in N\) 間の距離が求まる． ここで，距離は XOR であることに注意する． \(l \in N\) を \(i,j\) の LCA とおくと， \[\begin{matrix} d_{i,j} &=& d_{i,l} \oplus d_{l,0} \oplus d_{0,l} \oplus d_{l,j} \\ &=& d_{0,i} \oplus d_{0,j} \end{matrix}\] が成り立つ． よっ…

ARC135C 最終形の性質から考える． 操作を1回以上施した場合，帰納的に ある \(k \in N\) があって，任意の \(i \in N\) に対して \(a_{i}\) は \(a_{i} \oplus a_{k}\) の形． これは， \((x \oplus y) \oplus (z \oplus y) = x \oplus z\) であることから確かめられる． すなわち，操作を1回以上した場合は，操作を1回した場合に帰着できる． よって，操作は0 または 1回と仮定してよい． 実装操作を全探索する． for \(x \in \{0\} \cup a \) as set に対して，…

ARC141B 2進数で考える． \(d_{a}\) で \(a\) の桁数を表す． \(a \leq b\) ならば \(d_{a} \leq d_{b}\) となる． 今の問題設定では， \(d(A_{i})\) は \(i\) に対して真に単調増加となる． 解法if \(60 < N\) : ans = 0 else 前処理: \(k \in N\) に対して \([0,M)\) の中で \(k\) 桁の数の個数を数えておき， それを \(C_{k}\) とおく． \(C_{k} = min(max(0, M-2^{k}), 2^{k})\) ． 後処理: \(i\) に対する \(dp…

Forumにあるtopicを手元で紐解いたメモ key (9I92bgRMPu+0fgFzo/ZwCyuBTNrtpeQ7) と iv (tTc4XS3LiRBq+Muv) をそれぞれkey.txt, iv.txtなどとしてテキストファイルに保存 この時末尾で改行せずそれぞれ32バイトと16バイトで収めること firmware-wintoolsでkeyとivのテキストファイルをそれぞれxor "-x" オプションが必要なので注意すること "-Q" オプションはメッセージ抑制なのであっても無くても PS > firmware-wintools xorimage -i key.txt -o key…

本番で解けず。重みを桁ごとに分解するという発想がなかった 【問題】 重み付き木が与えられる。 dist(i, j) = iからjへの最短パスに含まれる辺すべての重みのXOR すべてのi ,j(i<j)についてdistの総和を求めよ 【忘れがちな知識】 総和は桁ごとに独立して足し合わせられる 例：123+789 = 1*10^2+7*10^2+2*10^1+8*10^1+3^10^0+9*10^0 【典型ポイント】 XOR => 桁ごとに考える 【方針】 愚直にdist(i,j)を全列挙としようとすると最低でもO(N^2)となり、全然間に合わない。 また、それぞれのdist(i, j)も高速に求…

こちらは本番中に解き切れず。 https://codeforces.com/contest/1983/problem/F

#corctf2024 from Crypto.Util.number import getPrime from random import randint from hashlib import sha512 from secret import FLAG p = getPrime(1024) Pair = tuple[int, int] def apply(x: Pair, y: Pair) -> Pair: z0 = x[0] * y[1] + x[1] * y[0] - x[0] * y[0] z1 = x[0] * y[0] + x[1] * y[1] return z0 % p, …

はじめに シェーダー (HLSL) で乱数を発生させたくなることがしばしばあります。 直接的にはホワイトノイズ、間接的にはパーリンノイズなどが挙げられます。 そういうシェーダーを書いたことがある方は、 frac(sin(...)) みたいな擬似乱数生成器を目にしていることでしょう。 ですが、乱数を発生させる手法は星の数ほど存在します。品質や速度もそれぞれ異なる擬似乱数生成器がたくさんあります。 本稿ではそれらのシェーダー乱数の性能比較を行っていきたいと思います。 シェーダー乱数の定義 さて、乱数とはいっても、シェーダーでよく使われる乱数は CPU ベースの (メルセンヌツイスタ とかの) 擬似…

本日の内容 論理演算というとORやらANDやらがありますが、その中でも異彩を放つのが排他的論理和であるXOR（あるいはEXOR）です。今回は、その3値以上のXORの考え方についてです。

この記事は理情 Advent Calendar 2024 19日目の記事として書かれました。 自己紹介 Rho17といいます。AtCoderをやっていました。現在は不定期でコンテストに参加しており、レートは2039(黄色)です。実は最高で2200あったんですよ信じて 企画趣旨 「競プロ典型 90 問」とは理情（とパ研）の偉大な先輩E869120氏が2021年に発表したコンテンツで、初級者～中級者の考察・アルゴリズム両面を強化するための問題集です。 atcoder.jp E869120氏本人の記事によれば、対象のレート層は200(灰色)~1999(青色)となっています。 qiita.com では…

「Linuxカーネル2.6解読室」（以降、旧版）出版後、Linuxには多くの機能が追加され、エンタープライズ領域をはじめとする様々な場所で使われるようになりました。 それに伴いコードが肥大かつ複雑化し、多くのエンジニアにとって解読不能なブラックボックスとなっています。 世界中のトップエンジニア達の傑作であるLinuxカーネルにメスを入れ、ブラックボックスをこじ開けて、時に好奇心の赴くままにカーネルの世界を解読する「新Linuxカーネル解読室」プロジェクト。 本稿では、カーネルモジュール機能実装の概要について説明します。 はじめに 1. 動かしてみよう 1.1 ビルドする 1.2 組込む 1.3…

こんにちは！ABEJAでエンジニアをしている飯嶌です。これはABEJAアドベントカレンダー2024の16日目の記事です。 弊社では、ABEJA Platformに組み込まれた一つのアプリケーションとして「ABEJA Insight for Retail」を提供しています。このサービスには、IoTデバイスで取得したデータと、取り込んだPOSデータをもとに分析できる機能が備わっており、主には小売業界で活用されています。 POSデータは企業様からお預かりお預かりいただいたものですが、企業ごとにフォーマットや内容が異なり、多種多様です。 今回は、LLMを活用してそのようなデータのテーブルフォーマットの…

TSG CTF 2024へ参加しました。そのwrite-up記事です。

この記事は グラフィックス全般 Advent Calendar 2024 の 16 日目の記事となります。 はじめに WebGPU が昨年 5 月に Chrome 113 で利用可能になり、それから 1 年半ほどが経ちました。 まだ FireFox や Safari など利用できない環境もありますが、これから普及も進んでいくと思いますし、WebGPU に興味や期待を寄せている方も多いのではないでしょうか。 今回は GPGPU の勉強のために取り組んだ WebGPU によるハッシュの実装の話をしようと思います。 寒い時期なので GPU の熱で暖をとりたい方におすすめの内容です。 デモで使用したコ…

[web] I Have Been Pwned $admin_password $pepper1の先頭15bytes $pepper1全体 $pepper2 ゴール！ [web] Cipher Preset Button baseタグを利用する 暗号を解く prefixを25文字より大きくする - Dangling Markup Injectionでmetaタグを潰す prefixを25文字より大きくする - ISO-2022-JPを使う [crypto] Mystery of Scattered Key p, qはどういう形になる？ [crypto] Feistel Barrier chal…

構造 久しぶりに見直した際、なんとなく "0xFF でのxorっぽいな" とデコード試行したら正解だった 0x0 0x4 0x8 0xc +---------------------------------------------------------------+ 0x00 | Encoded Data(xor) --->| +---------------------------------------------------------------+ 0x10 |---> (Encoded Data(xor)) --->| +------------------------------…

2023年4月から基本情報技術者の試験制度が変更されました。 出題方式は「多肢選択式（四肢択一）」で以前と同じですが、試験時間が150分→90分と変更されています。つまり、科目Aは1問を1分30秒で解かなければ行けない計算になります。 参考書で基本的な語句や意味を押さえた後は過去問を何度も問いて傾向を掴むと良いでしょう。 サンプル問題の構成は▼こちらのようになっています。 ■テクノロジ系 問1～問41 ■マネジメント系 問42～問48 ■ストラテジ系 問49～問60 CBT化に伴って過去問題がすべて公開されることはなくなりましたが、サンプル問題は公式にIPAから出されている貴重な情報です！ 早…