Buggy python submission (verdict: Time Limit Exceeded):
# 解説放送

def main():
    from collections import deque, namedtuple
    from operator import attrgetter
    import sys
    sys.setrecursionlimit(10 ** 7)
    input = sys.stdin.readline

    MOD = 998244353

    Robot = namedtuple('Robot', 'x d reach ind')

    N = int(input())

    robots = []
    for ind in range(N):
        X, D = map(int, input().split())
        robots.append(Robot(X, D, X + D, ind))

    graph = tuple(set() for _ in range(N))  # DAG, graph[robot.ind]={robot.ind,...}
    to_candidates = deque()
    for robot_from in sorted(robots, key=attrgetter('x'), reverse=True):
        """
        右端に位置するロボットから順に「起点」と見なしていく
        既出のロボットで有向辺の行き先として一度も設定されていないものが
        to_candidatesにx昇順で溜められている
        to_candidatesに含まれるロボットで「起点」から接触範囲内のものがある限り、
        「起点」から有向辺を張り続ける
        to_candidatesの先頭候補(最も左側に位置する)に対して辺を張れない場合、
        それ以降の候補のxはより遠い座標で辺を張れないので
        「起点」から張れる辺がないとわかる
        すべてのロボットは「起点」から辺を張られてto_candidatesから外れるか
        to_candidatesに残り、グラフ(森)の各木のrootとなる
        """
        while to_candidates:
            robot_to = to_candidates[0]
            if robot_to.x < robot_from.reach:
                graph[robot_from.ind].add(robot_to.ind)
                to_candidates.popleft()
            else:
                break

        to_candidates.appendleft(robot_from)

    def dfs(v):
        """有向グラフで親に遡ることはないので到達フラグ管理は不要"""
        ret = 1
        for u in graph[v]:
            ret = (ret * dfs(u)) % MOD
        return ret + 1

    root_robots = to_candidates
    ret = 1
    for root_robot in root_robots:
        ret = (ret * dfs(root_robot.ind)) % MOD
    print(ret)
    return


if __name__ == '__main__':
    main()


Fixed submission:
# 解説放送
# https://atcoder.jp/contests/abc158/submissions/10643692
# dfsの代わりに親の頂点番号を配列で管理する方法

def main():
    from collections import deque, namedtuple
    from operator import attrgetter
    import sys
    sys.setrecursionlimit(10 ** 7)
    input = sys.stdin.readline

    MOD = 998244353

    Robot = namedtuple('Robot', 'x d reach ind')

    N = int(input())

    robots = []
    for ind in range(N):
        X, D = map(int, input().split())
        robots.append(Robot(X, D, X + D, ind))
    robots.sort(key=attrgetter('x'), reverse=True)

    parents = [-1] * N
    to_candidates = deque()
    for robot_from in robots:  # x降順
        """
        右端に位置するロボットから順に「起点」と見なしていく
        既出のロボットで有向辺の行き先として一度も設定されていないものが
        to_candidatesにx昇順で溜められている
        to_candidatesに含まれるロボットで「起点」から接触範囲内のものがある限り、
        「起点」から有向辺を張り続ける
        to_candidatesの先頭候補(最も左側に位置する)に対して辺を張れない場合、
        それ以降の候補のxはより遠い座標で辺を張れないので
        「起点」から張れる辺がないとわかる
        すべてのロボットは「起点」から辺を張られてto_candidatesから外れるか
        to_candidatesに残り、グラフ(森)の各木のrootとなる
        """
        while to_candidates:
            robot_to = to_candidates[0]
            if robot_to.x < robot_from.reach:
                parents[robot_to.ind] = robot_from.ind
                to_candidates.popleft()
            else:
                break

        to_candidates.appendleft(robot_from)

    ret = 1
    count = [1] * N
    for robot in robots:  # x降順
        par = parents[robot.ind]
        count[robot.ind] += 1
        if ~par:
            count[par] = (count[par] * count[robot.ind]) % MOD
        else:
            ret = (ret * count[robot.ind]) % MOD
            # x降順で見ているのでpar==-1のrootのrobotを見る頃には
            # rootの子は全て見ているので安心してretにかけられる
    print(ret)
    return


if __name__ == '__main__':
    main()

Buggy python submission (verdict: Time Limit Exceeded):
# 解説放送

def main():
    from collections import deque, namedtuple
    from operator import attrgetter
    import sys
    sys.setrecursionlimit(10 ** 7)
    input = sys.stdin.readline

    MOD = 998244353

    Robot = namedtuple('Robot', 'x d ind')

    N = int(input())

    robots = []
    for ind in range(N):
        X, D = map(int, input().split())
        robots.append(Robot(X, D, ind))
    robots.sort(key=attrgetter('x'), reverse=True)

    graph = tuple(set() for _ in range(N))  # DAG

    to_candidates = deque()
    buffer = deque()

    def is_in_range(robot_from, x):
        return robot_from.x <= x < robot_from.x + robot_from.d

    for robot_from in robots:
        if not to_candidates:
            to_candidates.append(robot_from)
            continue

        while to_candidates:
            robot_to = to_candidates.popleft()
            if is_in_range(robot_from, robot_to.x):
                graph[robot_from.ind].add(robot_to.ind)
            else:
                buffer.append(robot_to)
        else:
            to_candidates = buffer
            buffer = deque()

        to_candidates.append(robot_from)

    checked = [0] * N

    def dfs(v):
        ret = 1
        for u in graph[v]:
            if checked[u]: continue
            checked[u] = 1
            ret = (ret * dfs(u)) % MOD
        ret += 1
        return ret

    root_robots = to_candidates
    ret = 1
    for root_robot in root_robots:
        ret = (ret * dfs(root_robot.ind)) % MOD
    print(ret)
    return


if __name__ == '__main__':
    main()


Fixed submission:
# 解説放送
# https://atcoder.jp/contests/abc158/submissions/10643692
# dfsの代わりに親の頂点番号を配列で管理する方法

def main():
    from collections import deque, namedtuple
    from operator import attrgetter
    import sys
    sys.setrecursionlimit(10 ** 7)
    input = sys.stdin.readline

    MOD = 998244353

    Robot = namedtuple('Robot', 'x d reach ind')

    N = int(input())

    robots = []
    for ind in range(N):
        X, D = map(int, input().split())
        robots.append(Robot(X, D, X + D, ind))
    robots.sort(key=attrgetter('x'), reverse=True)

    parents = [-1] * N
    to_candidates = deque()
    for robot_from in robots:  # x降順
        """
        右端に位置するロボットから順に「起点」と見なしていく
        既出のロボットで有向辺の行き先として一度も設定されていないものが
        to_candidatesにx昇順で溜められている
        to_candidatesに含まれるロボットで「起点」から接触範囲内のものがある限り、
        「起点」から有向辺を張り続ける
        to_candidatesの先頭候補(最も左側に位置する)に対して辺を張れない場合、
        それ以降の候補のxはより遠い座標で辺を張れないので
        「起点」から張れる辺がないとわかる
        すべてのロボットは「起点」から辺を張られてto_candidatesから外れるか
        to_candidatesに残り、グラフ(森)の各木のrootとなる
        """
        while to_candidates:
            robot_to = to_candidates[0]
            if robot_to.x < robot_from.reach:
                parents[robot_to.ind] = robot_from.ind
                to_candidates.popleft()
            else:
                break

        to_candidates.appendleft(robot_from)

    ret = 1
    count = [1] * N
    for robot in robots:  # x降順
        par = parents[robot.ind]
        count[robot.ind] += 1
        if ~par:
            count[par] = (count[par] * count[robot.ind]) % MOD
        else:
            ret = (ret * count[robot.ind]) % MOD
            # x降順で見ているのでpar==-1のrootのrobotを見る頃には
            # rootの子は全て見ているので安心してretにかけられる
    print(ret)
    return


if __name__ == '__main__':
    main()

Buggy python submission (verdict: Time Limit Exceeded):
# 解説放送

def main():
    from collections import deque, namedtuple
    from operator import attrgetter
    import sys
    sys.setrecursionlimit(10 ** 7)
    input = sys.stdin.readline

    MOD = 998244353

    Robot = namedtuple('Robot', 'x d ind')

    N = int(input())

    robots = []
    for ind in range(N):
        X, D = map(int, input().split())
        robots.append(Robot(X, D, ind))
    robots.sort(key=attrgetter('x'), reverse=True)

    graph = tuple(set() for _ in range(N))  # DAG

    to_candidates = deque()
    buffer = deque()

    def is_in_range(robot_from, x):
        return robot_from.x <= x < robot_from.x + robot_from.d

    for robot_from in robots:
        if not to_candidates:
            to_candidates.append(robot_from)
            continue

        while to_candidates:
            robot_to = to_candidates.popleft()
            if is_in_range(robot_from, robot_to.x):
                graph[robot_from.ind].add(robot_to.ind)
            else:
                buffer.append(robot_to)
        else:
            to_candidates = buffer
            buffer = deque()

        to_candidates.append(robot_from)

    checked = [0] * N

    def dfs(v):
        ret = 1
        for u in graph[v]:
            if checked[u]: continue
            checked[u] = 1
            ret = (ret * dfs(u)) % MOD
        ret += 1
        return ret

    root_robots = to_candidates
    ret = 1
    for root_robot in root_robots:
        ret = (ret * dfs(root_robot.ind)) % MOD
    print(ret)
    return


if __name__ == '__main__':
    main()


Fixed submission:
# 解説放送
# https://atcoder.jp/contests/abc158/submissions/10643692
# dfsの代わりに親の頂点番号を配列で管理する方法

def main():
    from collections import deque, namedtuple
    from operator import attrgetter
    import sys
    sys.setrecursionlimit(10 ** 7)
    input = sys.stdin.readline

    MOD = 998244353

    Robot = namedtuple('Robot', 'x d reach ind')

    N = int(input())

    robots = []
    for ind in range(N):
        X, D = map(int, input().split())
        robots.append(Robot(X, D, X + D, ind))
    robots.sort(key=attrgetter('x'), reverse=True)

    parents = [-1] * N
    to_candidates = deque()
    for robot_from in robots:  # x降順
        """
        右端に位置するロボットから順に「起点」と見なしていく
        既出のロボットで有向辺の行き先として一度も設定されていないものが
        to_candidatesにx昇順で溜められている
        to_candidatesに含まれるロボットで「起点」から接触範囲内のものがある限り、
        「起点」から有向辺を張り続ける
        to_candidatesの先頭候補(最も左側に位置する)に対して辺を張れない場合、
        それ以降の候補のxはより遠い座標で辺を張れないので
        「起点」から張れる辺がないとわかる
        すべてのロボットは「起点」から辺を張られてto_candidatesから外れるか
        to_candidatesに残り、グラフ(森)の各木のrootとなる
        """
        while to_candidates:
            robot_to = to_candidates[0]
            if robot_to.x < robot_from.reach:
                parents[robot_to.ind] = robot_from.ind
                to_candidates.popleft()
            else:
                break

        to_candidates.appendleft(robot_from)

    ret = 1
    count = [1] * N
    for robot in robots:  # x降順
        par = parents[robot.ind]
        count[robot.ind] += 1
        if ~par:
            count[par] = (count[par] * count[robot.ind]) % MOD
        else:
            ret = (ret * count[robot.ind]) % MOD
            # x降順で見ているのでpar==-1のrootのrobotを見る頃には
            # rootの子は全て見ているので安心してretにかけられる
    print(ret)
    return


if __name__ == '__main__':
    main()