×

# INCXOR - Editorial

Author: Lewin Gan
Testers: Kamil Dębowski
Editorialist: Lewin Gan

Medium-Hard

# PROBLEM:

Find the number of increasing sequences that are also increasing when XOR-ed by another sequence.

# QUICK EXPLANATION:

First, it's helpful to be familiar with digit dp. The state we need to keep is whether or not b_i is strictly less than b_{i+1} and a_i XOR b_i is strictly less than a_{i+1} XOR b_{i+1}. This is a total of 2^(2(N-1)) states per digit.

# EXPLANATION:

Using the logic above, we can solve $f(bit, mask1, mask2)$ denoting number of ways given we can fill in the bits 0 to bit. The i-th bit in mask1 (resp mask2) is 1 if and only if b_i (resp a_i XOR b_i) is strictly less than b_{i+1} (resp a_{i+1} XOR b_{i+1}).

Using this logic, we can brute force over all 2^n ways to fill in the current bit for b, make sure they satisfy the constraints in mask, and recurse to smaller cases.

To see more details, see the setter's solution.

# AUTHOR'S AND TESTER'S SOLUTIONS:

Setter
Tester Solution will be added soon.

This question is marked "community wiki".

7★lg5293
511213
accept rate: 10%

15.9k347484508

 2 The problem setters code is in Java. Can u add the testers or the editorialists code if it is in c++. answered 20 Mar, 00:24 2.5k●3●19 accept rate: 8%
 0 Hi, Could someone please explain this line The i-th bit in mask1 (resp mask2) is 1 if and only if b_i (resp a_i XOR b_i) is strictly less than b_{i+1} (resp a_{i+1} XOR b_{i+1}). in a little more detail. Thanks a lot for the editorial! :D answered 20 Mar, 00:23 209●5 accept rate: 20% First, you should be familiar with digit dp. If not, most of the following will not make sense. Let's just talk about mask1 (mask2 is identical). Since we're iterating from highest bit to lowest bit, we know that p < q if and only if the highest bit in which p and q differ has a 0 in that position for p and a 1 in that position for q. So, we know that b_i and b_{i+1} have to be the same until some certain bit where b_i has a zero and b_{i+1} has a 1, and after that, they can be whatever they want. Thus, the mask helps us keep track of that state for us. (20 Mar, 03:33) lg52937★
 0 I am getting the following error. When i am trying to view setter solution. This XML file does not appear to have any style information associated with it. The document tree is shown below. AccessDenied Access Denied DFD6142E14778E1F q8ksHUXrKBP5rEJMT+PLMfPJrf7QoA1NYClZY5jNJaYUDHI2sNXC2HJqwupzjk60sREk5stBkeU= answered 14 Sep, 22:43 1★ram666 1 accept rate: 0%
 toggle preview community wiki:
Preview

By Email:

Markdown Basics

• *italic* or _italic_
• **bold** or __bold__
• image?![alt text](/path/img.jpg "title")
• numbered list: 1. Foo 2. Bar
• to add a line break simply add two spaces to where you would like the new line to be.
• basic HTML tags are also supported
• mathemetical formulas in Latex between \$ symbol

Question tags:

×11,539
×798
×64
×54
×48
×4