using System.ComponentModel; using System.Diagnostics.CodeAnalysis; using System.Numerics; using System.Runtime.CompilerServices; using System.Runtime.InteropServices; using System.Collections; using System.Text; using System.Text.RegularExpressions; using static Tmpl; using static CPDebug; using System.Collections.Specialized; using System.Globalization; using System.Diagnostics; StreamWriter writer = new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false }; //using StreamWriter writer = new StreamWriter(File.Open("turn.txt", FileMode.Create, FileAccess.ReadWrite)); Console.SetOut(writer); //using StreamReader reader = new StreamReader(File.Open("in.txt", FileMode.Open)); //Console.SetIn(reader); Solver.Solve(); Console.Out.Flush(); public static class Solver { private static readonly AtCoderIO cin = new AtCoderIO(); public static unsafe void Solve() { int N = cin.Int(); int KA = cin.Int(); int KB = cin.Int(); int[] a = cin.ZeroIndexedPermutation(KA); int[] b = cin.ZeroIndexedPermutation(KB); const int INF = 10000000; int mindist = INF; for (int i = 0; i < KA; i++) { int p = lowerBound(b, 0, b.Length, a[i]); if (0 <= p && p < b.Length) { chmin(ref mindist, b[p] - a[i]); } } for (int i = 0; i < KB; i++) { int p = lowerBound(a, 0, a.Length, b[i]); if (0 <= p && p < a.Length) { chmin(ref mindist, a[p] - b[i]); } } int nearestA(int p) { int r = lowerBound(a, 0, a.Length, p); int l = r - 1; if (r == 0) return r; if (r == a.Length) return l; if (int.Abs(p - a[l]) < int.Abs(p - a[r])) return l; else return r; } int nearestB(int p) { int r = lowerBound(b, 0, b.Length, p); int l = r - 1; if (r == 0) return r; if (r == b.Length) return l; if (int.Abs(p - b[l]) < int.Abs(p - b[r])) return l; else return r; } int Q = cin.Int(); for (int i = 0; i < Q; i++) { int s = cin.Int() - 1; int t = cin.Int() - 1; // A, Bは高々1回ずつしか使わないので・・・ // ワープなし int nowarp = t - s; // Aを1回 int onceA = int.MaxValue; int l = nearestA(s); int r = nearestA(t); if (l < a.Length && r >= 0) { onceA = int.Abs(a[l] - s) + int.Abs(t - a[r]); } // BからのA int ba = int.MaxValue; if (onceA != int.MaxValue) { int lb = nearestB(s); ba = int.Abs(b[lb] - s) + mindist + int.Abs(t - a[r]); } // Bを1回 int onceB = int.MaxValue; l = nearestB(s); r = nearestB(t); if (l < b.Length && r >= 0) { onceB = int.Abs(b[l] - s) + int.Abs(t - b[r]); } // AからのB int ab = int.MaxValue; if (onceB != int.MaxValue) { int la = nearestA(s); ab = int.Abs(a[la] - s) + mindist + int.Abs(t - b[r]); } //check((onceA, onceB, ab, ba)); int ans = int.Min(int.Min(ab, ba), int.Min(onceA, onceB)); ans = int.Min(ans, nowarp); print(ans); } } } public sealed class SparseTable { private Func _op; private T[][] _table; private int[] _lookup; private int _length; private T _identity; public SparseTable(T[] array, T identity, Func op) { _op = op; _identity = identity; _length = array.Length; int exp = 0; while (1 << (exp + 1) <= array.Length) exp++; _table = new T[exp + 1][]; for (int i = 0; i <= exp; i++) { _table[i] = new T[_length]; } for (int i = 0; i <= exp; i++) { int width = 1 << i; for (int j = 0; j <= _length - width; j++) { if (width == 1) _table[i][j] = array[j]; else _table[i][j] = _op(_table[i - 1][j], _table[i - 1][j + (1 << (i - 1))]); } } _lookup = new int[_length + 1]; for (int i = 2; i <= _length; i++) { _lookup[i] = _lookup[i / 2] + 1; } } public T Query(int l, int r) { if (l >= r) return _identity; int len = r - l; int x = _lookup[len]; return _op(_table[x][l], _table[x][r - (1 << x)]); } } static class Constants { public const long Mod = 998244353L; //public const long Mod = 10007L; //public const long Mod = 1000000007L; } public readonly struct Point { public readonly int X; public readonly int Y; public Point(int x, int y) { X = x; Y = y; } public override int GetHashCode() => (X, Y).GetHashCode(); public override string ToString() { return $"({X}, {Y})"; } } public sealed class ReverseComparer : IComparer { public static readonly ReverseComparer Default = new ReverseComparer(Comparer.Default); public static ReverseComparer Reverse(IComparer comparer) { return new ReverseComparer(comparer); } private readonly IComparer comparer = Default; private ReverseComparer(IComparer comparer) { this.comparer = comparer; } public int Compare(T x, T y) { return comparer.Compare(y, x); } } public sealed class AtCoderIO { Queue _readQueue = new Queue(); private void LoadQueue() { if (_readQueue.Count > 0) return; string line = Console.ReadLine(); string[] split = line.Split(' ', StringSplitOptions.RemoveEmptyEntries); for (int i = 0; i < split.Length; i++) _readQueue.Enqueue(split[i]); } private void Guard() { if (_readQueue.Count == 0) { throw new Exception("NO DATA TO READ"); } } public int Int() { LoadQueue(); Guard(); return int.Parse(_readQueue.Dequeue()); } public long Long() { LoadQueue(); Guard(); return long.Parse(_readQueue.Dequeue()); } public string String() { LoadQueue(); Guard(); return _readQueue.Dequeue(); } public short Short() { LoadQueue(); Guard(); return short.Parse(_readQueue.Dequeue()); } public byte Byte() { LoadQueue(); Guard(); return byte.Parse(_readQueue.Dequeue()); } public char Char() { LoadQueue(); Guard(); return char.Parse(_readQueue.Dequeue()); } public double Double() { LoadQueue(); Guard(); return double.Parse(_readQueue.Dequeue()); } public float Float() { LoadQueue(); Guard(); return float.Parse(_readQueue.Dequeue()); } public ModInt ModInt() { return new ModInt(Long()); } public T Read() { Type type = typeof(T); if (type == typeof(int)) return (T)(object)Int(); else if (type == typeof(long)) return (T)(object)Long(); else if (type == typeof(float)) return (T)(object)Float(); else if (type == typeof(double)) return (T)(object)Double(); else if (type == typeof(short)) return (T)(object)Short(); else if (type == typeof(byte)) return (T)(object)Byte(); else if (type == typeof(char)) return (T)(object)Char(); else if (type == typeof(string)) return (T)(object)String(); else if (type == typeof(ModInt)) return (T)(object)ModInt(); else return default(T); } public int[] IntArray(int n) { if (n == 0) return Array.Empty(); int[] arr = new int[n]; for (int i = 0; i < n; i++) { arr[i] = Int(); } return arr; } public int[] ZeroIndexedPermutation(int n) { if (n == 0) return Array.Empty(); int[] arr = new int[n]; for (int i = 0; i < n; i++) { arr[i] = Int() - 1; } return arr; } public long[] LongArray(int n) { if (n == 0) return Array.Empty(); long[] arr = new long[n]; for (int i = 0; i < n; i++) { arr[i] = Long(); } return arr; } public double[] DoubleArray(int n) { if (n == 0) return Array.Empty(); double[] arr = new double[n]; for (int i = 0; i < n; i++) { arr[i] = Double(); } return arr; } public ModInt[] ModIntArray(int n) { if (n == 0) return Array.Empty(); ModInt[] arr = new ModInt[n]; for (int i = 0; i < n; i++) { arr[i] = (ModInt)Long(); } return arr; } public T[] ReadArray(int n) { if (n == 0) return Array.Empty(); T[] arr = new T[n]; for (int i = 0; i < n; i++) { arr[i] = Read(); } return arr; } } public static class CPDebug { public static void check(T value, [CallerArgumentExpression(nameof(value))] string name = "value") where T : struct { #if DEBUG Console.Error.WriteLine($"[DEBUG] {name}={value.ToString()}"); #endif } public static void check(IEnumerable value, [CallerArgumentExpression(nameof(value))] string name = "value") { #if DEBUG Console.Error.WriteLine($"[DEBUG] {name}=({string.Join(' ', value)})"); #endif } } public static class Tmpl { public static long pow(long b, long exp) { if (exp == 0) return 1; if (exp == 1) return b; long m = pow(b, exp / 2L); m *= m; if (exp % 2L == 1) m *= b; return m; } public static long modpow(long b, long exp, long mod) { if (exp == 0) return 1; if (exp == 1) return b % mod; long m = modpow(b, exp / 2L, mod); m *= m; m %= mod; if (exp % 2L == 1) m *= b % mod; m %= mod; return m; } static long modinv( long a, long mod ) { long b = mod, u = 1, v = 0; while ( b > 0 ) { long t = a / b; a -= t * b; swap( ref a, ref b ); u -= t * v; swap( ref u, ref v ); } u %= mod; if (u < 0) u += mod; return u; } public static long calcLcm(long a, long b) { return a * b / calcGcd(a, b); } public static long calcGcd(long a, long b) { if (a % b == 0) return b; return calcGcd(b, a % b); } // ax ≡ b (mod m)なる最小のxを求める public static bool solveModLinear(long a, long b, long m, out long minSolution) { long gcd = calcGcd(calcGcd(a, b), m); a /= gcd; b /= gcd; m /= gcd; if (calcGcd(a, m) == 1) { long inv = modinv(a, m); minSolution = (b * inv) % m; return true; } minSolution = 0; return false; } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void YesNo(bool t) { Console.WriteLine(t ? "Yes" : "No"); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void YESNO(bool t) { Console.WriteLine(t ? "YES" : "NO"); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void yesno(bool t) { Console.WriteLine(t ? "yes" : "no"); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static bool checkBit(int bit, int n) { return ((1 << n) & bit) != 0; } public static bool nextSubset(ref int set, int super) { set = (set - 1) & super; return set != 0; } public static bool nextCombination(int n, int r, int[] array) { int i = array.Length - 1; while (i >= 0 && array[i] == i + n - r) { i--; } if (i < 0) return false; array[i]++; for (int j = i + 1; j < r; j++) { array[j] = array[j - 1] + 1; } return true; } public static bool nextPermutation(T[] array, int start, int length) where T : IComparable { int end = start + length - 1; if (end <= start) return false; int last = end; while (true) { int pos = last--; if (array[last].CompareTo(array[pos]) < 0) { int i; for (i = end + 1; array[last].CompareTo(array[--i]) >= 0; ) { } T tmp = array[last]; array[last] = array[i]; array[i] = tmp; Array.Reverse(array, pos, end - pos + 1); return true; } if (last == start) { Array.Reverse(array, start, end - start); return false; } } throw new Exception("NextPermutation: Fatal error"); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static bool chmax (ref T target, T value) where T : struct, IComparisonOperators { if (value > target) { target = value; return true; } return false; } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static bool chmin(ref T target, T value) where T : struct, IComparisonOperators { if (value < target) { target = value; return true; } return false; } public static ReadOnlySpan spanOf(List list) { return CollectionsMarshal.AsSpan(list); } public static int lowerBound(T[] array, int start, int end, T value) where T : struct, IComparisonOperators { int low = start; int high = end; int mid; while (low < high) { mid = ((high - low) >> 1) + low; if (array[mid] < value) low = mid + 1; else high = mid; } if (low == array.Length - 1 && array[low] < value) { return array.Length; } return low; } public static int lowerBound(List array, int start, int end, T value) where T : struct, IComparisonOperators { int low = start; int high = end; int mid; while (low < high) { mid = ((high - low) >> 1) + low; if (array[mid] < value) low = mid + 1; else high = mid; } if (low == array.Count - 1 && array[low] < value) { return array.Count; } return low; } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void swap(ref T a, ref T b) where T : struct { T temp = a; a = b; b = temp; } public static int[] compressCoords(T[] a) where T : struct, IComparisonOperators { T[] b = a.OrderBy(x => x).Distinct().ToArray(); int[] result = new int[a.Length]; for (int i = 0; i < a.Length; i++) { result[i] = lowerBound(b, 0, b.Length - 1, a[i]); } return result; } public static List> compressRunLength(T[] array) where T : struct, IEquatable { List> list = new List>(); int count = 1; int start = 0; T prev = array[0]; for (int i = 1; i < array.Length; i++) { if (prev.Equals(array[i])) { count++; } else { list.Add(new RunLengthElement(start, count, prev)); start = i; count = 1; } prev = array[i]; } list.Add(new RunLengthElement(start, count, prev)); return list; } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void print(IEnumerable array, char delimiter = ' ') { Console.WriteLine(string.Join(delimiter, array)); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void fprint(IEnumerable array, char delimiter = ' ') { print(array); Console.Out.Flush(); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void print(string msg) { Console.WriteLine(msg); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void fprint(string msg) { Console.WriteLine(msg); Console.Out.Flush(); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void print(int val) { print(val.ToString()); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void print(long val) { print(val.ToString()); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void print(ModInt val) { print(val.ToString()); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void fprint(int val) { print(val.ToString()); Console.Out.Flush(); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void fprint(long val) { print(val.ToString()); Console.Out.Flush(); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void fprint(ModInt val) { fprint(val.ToString()); Console.Out.Flush(); } public static void print(T[,] grid) { for (int y = 0; y < grid.GetLength(0); y++) { for (int x = 0; x < grid.GetLength(1); x++) { Console.Write(grid[y, x] + "\t"); } Console.WriteLine(); } } public static void print01(bool t) { Console.WriteLine(t ? "1" : "0"); } public static TSrc lowerBoundKth(TSrc min, TSrc max, Func f, TCnt bound) where TSrc: struct, INumber where TCnt: struct, INumber { TSrc left = min; TSrc right = max; TSrc two = TSrc.CreateChecked(2); TSrc one = TSrc.CreateChecked(1); while (right > left) { TSrc mid = left + (right - left) / two; TCnt c = f(mid); if (c < bound) { left = mid + one; } else { right = mid; } } return left; } public static bool isSquareNumber(long n) { long q = (long)Math.Floor(Math.Sqrt(n)); return q * q == n; } } public readonly struct RunLengthElement where T : struct { public readonly int Count; public readonly int StartIndex; public readonly T Value; public RunLengthElement(int startIndex, int count, T value) { this.StartIndex = startIndex; this.Count = count; this.Value = value; } } public readonly struct Edge : IEquatable>, IComparable> where T : struct, INumber { public readonly int To; public readonly int From; public readonly T Weight; public Edge(int to, T weight) { this.To = to; this.Weight = weight; } public Edge(int from, int to, T weight) { this.To = to; this.From = from; this.Weight = weight; } public override bool Equals(object obj) { if (obj is Edge edge) { return this.Equals(edge); } else { return false; } } public int CompareTo(Edge other) { return Weight.CompareTo(other.Weight); } public bool Equals(Edge edge) { return To == edge.To && From == edge.From && Weight == edge.Weight; } public override int GetHashCode() { return (To, From, Weight).GetHashCode(); } public static bool operator ==(Edge left, Edge right) { return left.Equals(right); } public static bool operator !=(Edge left, Edge right) { return !left.Equals(right); } } public readonly struct ModInt : IEquatable, IAdditionOperators, ISubtractionOperators, IAdditiveIdentity { private readonly long Value; public static ModInt One => (ModInt)1L; public static ModInt Zero => (ModInt)0L; public static ModInt AdditiveIdentity => Zero; public ModInt(long value) { Value = SafeMod(value); } [MethodImpl(MethodImplOptions.AggressiveInlining)] private static long SafeMod(long a) { a %= Constants.Mod; if (a < 0) a += Constants.Mod; return a; } public ModInt Power(long exp) { if (exp <= -1) return this; if (exp == 0) return 1; if (exp == 1) return this; ModInt m = Power(exp / 2); m *= m; if (exp % 2 == 1) m *= this; return m; } public ModInt Inv() { return this.Power(Constants.Mod - 2L); } public static ModInt operator +(ModInt left, ModInt right) { return new ModInt(SafeMod(left.Value + right.Value)); } public static ModInt operator -(ModInt left, ModInt right) { return new ModInt(SafeMod(left.Value - right.Value)); } public static ModInt operator *(ModInt left, ModInt right) { return new ModInt(SafeMod(left.Value * right.Value)); } public static ModInt operator /(ModInt left, ModInt right) { if (right.Value == 0L) { return Zero; } ModInt inv = right.Inv(); return SafeMod(left * inv); } public static ModInt operator %(ModInt left, ModInt right) { if (right.Value == 0L) { return Zero; } return new ModInt(SafeMod(left.Value % right.Value)); } public static bool operator ==(ModInt left, ModInt right) { return left.Value == right.Value; } public static bool operator != (ModInt left, ModInt right) { return !(left == right); } public bool Equals(ModInt other) { return Value == other.Value; } public override bool Equals(object other) { if (other is ModInt m) { return this == m; } else return false; } public override int GetHashCode() { return Value.GetHashCode(); } public static implicit operator ModInt(long v) { return new ModInt(v); } public static implicit operator ModInt(int v) { return new ModInt(v); } public static implicit operator long(ModInt m) { return m.Value; } public static implicit operator int(ModInt m) { return (int)m.Value; } public long Raw() => Value; public override string ToString() { return Value.ToString(); } } public delegate T Monoid(T a, T b); public delegate T Apply(T x, M m, int len); // 一点に対する操作と区間に対するクエリを処理する. // 空間計算量: O(2N) // 時間計算量: // - 構築: O(N) // - 操作: O(logN) // - クエリ: O(logN) public sealed class SegmentTree where T : struct { private int _treeSize; private int _dataSize; private int _originalDataSize; private T[] _data; private Monoid _operator; private Monoid _apply; private T _identity; public int OriginalDataSize => _originalDataSize; public int TreeSize => _treeSize; public T Identity => _identity; public T this[int index] { get { return _data[_dataSize - 1 + index]; } } public SegmentTree(int n, Monoid op, Monoid apply, T identity) { _originalDataSize = n; int size = 1; while (n > size) { size <<= 1; } _dataSize = size; _treeSize = 2 * size - 1; _data = new T[_treeSize]; _identity = identity; _operator = op; _apply = apply; } public void Build(T[] array) { for (int i = 0; i < array.Length; i++) { _data[i + _dataSize - 1] = array[i]; } for (int i = _dataSize - 2; i >= 0; i--) { _data[i] = _operator(_data[(i << 1) + 1], _data[(i << 1) + 2]); } } public void Apply(int index, T value) { index += _dataSize - 1; _data[index] = _apply(_data[index], value); while (index > 0) { index = (index - 1) >> 1; _data[index] = _operator(_data[(index << 1) + 1], _data[(index << 1) + 2]); } } public T Query(int left, int right) { return QueryRec(left, right, 0, 0, _dataSize); } private T QueryRec(int left, int right, int index, int nodeLeft, int nodeRight) { if (left >= nodeRight || right <= nodeLeft) { return _identity; } if (left <= nodeLeft && nodeRight <= right) { return _data[index]; } T leftChild = QueryRec(left, right, (index << 1) + 1, nodeLeft, (nodeLeft + nodeRight) >> 1); T rightChild = QueryRec(left, right, (index << 1) + 2, (nodeLeft + nodeRight) >> 1, nodeRight); return _operator(leftChild, rightChild); } // 返されたArraySegmentは変更してはいけない. public ArraySegment GetData() { return new ArraySegment(_data, _dataSize - 1, _originalDataSize); } } // 区間に対する操作と区間に対するクエリを処理する. // 空間計算量: O(4N) // 時間計算量: // - 構築: O(N) // - 操作: O(logN) // - クエリ: O(logN) // - 一点参照: O(logN) // operator: クエリに対応する二項演算をする // mapping: 作用素を作用させる // composition: 作用素を合成する public sealed class LazySegmentTree where T : struct, IEquatable where M : struct, IEquatable { private int _treeSize; private int _dataSize; private int _originalDataSize; private T[] _data; private M?[] _lazy; private Monoid _operator; private Apply _mapping; private Monoid _composition; private T _identity; public T this[int index] { get { return GetByIndex(index); } } public LazySegmentTree(int n, Monoid op, Apply mapping, Monoid composition, T identity) { _originalDataSize = n; int size = 1; while (n > size) { size <<= 1; } _dataSize = size; _treeSize = 2 * size - 1; _data = new T[_treeSize]; _data.AsSpan().Fill(_identity); _lazy = new M?[_treeSize]; _identity = identity; _operator = op; _mapping = mapping; _composition = composition; } public void Build(T[] array) { for (int i = 0; i < array.Length; i++) { _data[i + _dataSize - 1] = array[i]; } for (int i = _dataSize - 2; i >= 0; i--) { _data[i] = _operator(_data[(i << 1) + 1], _data[(i << 1) + 2]); } } private void Evaluate(int index, int l, int r) { if (_lazy[index] is null) { return; } if (index < _dataSize - 1) { _lazy[(index << 1) + 1] = GuardComposition(_lazy[(index << 1) + 1], _lazy[index]); _lazy[(index << 1) + 2] = GuardComposition(_lazy[(index << 1) + 2], _lazy[index]); } _data[index] = _mapping(_data[index], (M)_lazy[index], r - l); _lazy[index] = null; } private M GuardComposition(M? a, M? b) { if (a is null) { return (M)b; } else { return _composition((M)a, (M)b); } } private void ApplyRec(int a, int b, M m, int index, int l, int r) { Evaluate(index, l, r); if (a >= r || b <= l) { return; } if (a <= l && r <= b) { _lazy[index] = GuardComposition(_lazy[index], m); Evaluate(index, l, r); } else { ApplyRec(a, b, m, (index << 1) + 1, l, (l + r) / 2); ApplyRec(a, b, m, (index << 1) + 2, (l + r) / 2, r); _data[index] = _operator(_data[(index << 1) + 1], _data[(index << 1) + 2]); } } public void Apply(int left, int right, M m) { ApplyRec(left, right, m, 0, 0, _dataSize); } public T Query(int left, int right) { return QueryRec(left, right, 0, 0, _dataSize); } private T QueryRec(int left, int right, int index, int nodeLeft, int nodeRight) { Evaluate(index, nodeLeft, nodeRight); if (left >= nodeRight || right <= nodeLeft) { return _identity; } if (left <= nodeLeft && nodeRight <= right) { return _data[index]; } T leftChild = QueryRec(left, right, (index << 1) + 1, nodeLeft, (nodeLeft + nodeRight) >> 1); T rightChild = QueryRec(left, right, (index << 1) + 2, (nodeLeft + nodeRight) >> 1, nodeRight); return _operator(leftChild, rightChild); } public T GetByIndex(int target) { if (target < 0 || target >= _originalDataSize) { throw new Exception("Index is out of range."); } return AccessRec(target, 0, 0, _dataSize); } private T AccessRec(int target, int index, int l, int r) { Evaluate(index, l, r); if (index >= _dataSize - 1) { return _data[index]; } int mid = (l + r) / 2; if (target < mid) { return AccessRec(target, (index << 1) + 1, l, mid); } else { return AccessRec(target, (index << 1) + 2, mid, r); } } // index以下のノードをすべて即時に評価する. private void EvaluateAll(int index, int l, int r) { if (_lazy[index] is null) { if (index < _dataSize - 1) { EvaluateAll((index << 1) + 1, l, (l + r) / 2); EvaluateAll((index << 1) + 2, (l + r) / 2, r); } return; } if (index < _dataSize - 1) { _lazy[(index << 1) + 1] = GuardComposition(_lazy[(index << 1) + 1], _lazy[index]); _lazy[(index << 1) + 2] = GuardComposition(_lazy[(index << 1) + 2], _lazy[index]); EvaluateAll((index << 1) + 1, l, (l + r) / 2); EvaluateAll((index << 1) + 2, (l + r) / 2, r); } _data[index] = _mapping(_data[index], (M)_lazy[index], r - l); _lazy[index] = null; } // 返されたArraySegmentは変更してはいけない. public ArraySegment GetData() { EvaluateAll(0, 0, _dataSize); return new ArraySegment(_data, _dataSize - 1, _originalDataSize); } } public static class SegmentTreeBuilder { public static LazySegmentTree RangeAddMax(int n, T identity) where T : struct, INumber { return new LazySegmentTree(n, T.Max, (x, m, l) => { return x + m; }, (a, b) => { return a + b; }, identity); } public static LazySegmentTree RangeUpdateMax(int n, T identity) where T : struct, INumber { return new LazySegmentTree(n, T.Max, (x, m, l) => { return m; }, (x, y) => { return y; }, identity); } public static LazySegmentTree RangeAddMin(int n, T identity) where T : struct, INumber { return new LazySegmentTree(n, T.Min, (x, m, l) => { return x + m; }, (a, b) => { return a + b; }, identity); } public static LazySegmentTree RangeUpdateMin(int n, T identity) where T : struct, INumber { return new LazySegmentTree(n, T.Min, (x, m, l) => { return m; }, (x, y) => { return y; }, identity); } public static LazySegmentTree RangeAddSum(int n, T identity) where T : struct, INumber { return new LazySegmentTree(n, (x, y) => x + y, (x, m, l) => { return x + m * T.CreateChecked(l); }, (a, b) => { return a + b; }, identity); } public static LazySegmentTree RangeUpdateSum(int n, T identity) where T : struct, INumber { return new LazySegmentTree(n, (x, y) => x + y, (x, m, l) => { return m * T.CreateChecked(l); }, (a, b) => { return b; }, identity); } public static SegmentTree PointUpdateMax(int n, T identity) where T : struct, INumber { return new SegmentTree(n, T.Max, (a, b) => b, identity); } public static SegmentTree PointAddMax(int n, T identity) where T : struct, INumber { return new SegmentTree(n, T.Max, (a, b) => a + b, identity); } public static SegmentTree PointUpdateMin(int n, T identity) where T : struct, INumber { return new SegmentTree(n, T.Min, (a, b) => b, identity); } public static SegmentTree PointAddMin(int n, T identity) where T : struct, INumber { return new SegmentTree(n, T.Min, (a, b) => a + b, identity); } public static SegmentTree PointUpdateSum(int n, T identity) where T : struct, INumber { return new SegmentTree(n, (x, y) => x + y, (a, b) => b, identity); } public static SegmentTree PointAddSum(int n, T identity) where T : struct, INumber { return new SegmentTree(n, (x, y) => x + y, (a, b) => a + b, identity); } } public sealed class PrefixSum2D where T : struct, IAdditionOperators, ISubtractionOperators { private T[,] _sums; public PrefixSum2D(T[,] sequence) { int height = sequence.GetLength(0); int width = sequence.GetLength(1); _sums = new T[height + 1, width + 1]; // build prefix sum for (int y = 0; y < height; y++) { for (int x = 0; x < width; x++) { _sums[y + 1, x + 1] = _sums[y + 1, x] + _sums[y, x + 1] - _sums[y, x] + sequence[y, x]; } } } public T Sum(int startInclX, int startInclY, int endExclX, int endExclY) { return _sums[endExclY, endExclX] + _sums[startInclY, startInclX] - _sums[startInclY, endExclX] - _sums[endExclY, startInclX]; } public T AllSum() { return _sums[_sums.GetLength(0) - 1, _sums.GetLength(1) - 1]; } } public sealed class PrefixSum where T : struct, IAdditionOperators, ISubtractionOperators, IAdditiveIdentity { private T[] _sums; public PrefixSum(T[] sequence) { _sums = new T[sequence.Length + 1]; _sums[0] = T.AdditiveIdentity; for (int i = 0; i < sequence.Length; i++) { _sums[i + 1] = _sums[i] + sequence[i]; } } // [a, b) public T Sum(int aIncl, int bExcl) { return _sums[bExcl] - _sums[aIncl]; } public T AllSum() { return _sums[^1]; } public T[] GetArray() { return _sums; } } public sealed class UnionFind { private int[] _parents; private int[] _size; private int _vertexCount; public int VertexCount => _vertexCount; public UnionFind(int n) { _vertexCount = n; _parents = new int[n]; _size = new int[n]; for (int i = 0; i < n; i++) { _parents[i] = i; _size[i] = 1; } } public int Root(int x) { if (_parents[x] == x) return x; return _parents[x] = Root(_parents[x]); } public void Unite(int x, int y) { int rootX = Root(x); int rootY = Root(y); if (rootX == rootY) return; int from = rootX; int to = rootY; // merge from to to if (_size[from] > _size[to]) { (from, to) = (to, from); } _size[to] += _size[from]; _parents[from] = to; } public List Find(int x) { int rootX = Root(x); List set = new List(); for (int i = 0; i < _vertexCount; i++) { if (Root(i) == rootX) set.Add(i); } return set; } public Dictionary> FindAll() { Dictionary> sets = new Dictionary>(); for (int i = 0; i < _vertexCount; i++) { int root = Root(i); if (sets.ContainsKey(root)) sets[root].Add(i); else sets[root] = new List() { i }; } return sets; } public bool Same(int x, int y) { int rootX = Root(x); int rootY = Root(y); return rootX == rootY; } public int Size(int v) { return _size[Root(v)]; } public void Clear() { for (int i = 0; i < _vertexCount; i++) { _parents[i] = i; } } } public static class LIS { // NOTE: 空間計算量O(max), 時間計算量O(nlogn) public static int LengthOfLIS(int[] sequence, int max) { if (max >= 1_000_000_00) { throw new ArgumentException("Max value is too large.", nameof(max)); } var seg = SegmentTreeBuilder.PointUpdateMax(max + 1, 0); for (int i = 1; i <= sequence.Length; i++) { int m = seg.Query(0, sequence[i - 1]); seg.Apply(sequence[i - 1], m + 1); } return seg.Query(0, max + 1); } }