1746. Maximum Subarray Sum After One Operation

Problem Description

You are provided with an integer array nums. Your task is to perform exactly one operation in which you choose one element nums[i] and replace it with the square of that element, nums[i] * nums[i]. The objective is to return the maximum sum of a non-empty subarray after performing this single operation. A subarray is a contiguous part of the array, and you are looking for the subarray which gives you the maximum possible sum after squaring exactly one of its elements.

Intuition

The intuition behind the solution is to use dynamic programming (DP) to keep track of the maximum subarray sums while iterating through the array. For this, you maintain two variables during the iteration.

One (f) is to keep track of the maximum sum so far without applying the square operation, and the other (g) is to keep track of the maximum sum so far with the square operation applied to one of the elements. As you iterate, for each new element you encounter, you update these two variables.

To update f, you add the current element to the maximum sum so far (f) if it's positive; otherwise, you start a new subarray sum from the current element.

To update g, you have two choices: either you use the square operation on the current element and add it to the maximum sum so far without the operation (f), or you add the current element to the maximum sum so far with the operation (g).

Finally, ans is used to store the maximum of all f and g encountered so far, which will be your final answer.

The reason for maintaining these two states is because at each step, you have to consider that you can either use your one-time square operation on the current element or on one of the future elements. Therefore, you need to have both scenarios considered in your dynamic programming states.

Learn more about Dynamic Programming patterns.

Not Sure What to Study? Take the 2-min Quiz to Find Your Missing Piece：

Which of these pictures shows the visit order of a depth-first search?

I don’t know

Solution Approach

The solution uses a simple dynamic programming approach. Two running variables, f and g, are used to keep track of the current maximum subarray sum with and without using the square operation, respectively.

The algorithm can be broken down into the following steps:

Initialize f and g to 0, which represent f[i] and g[i] respectively - the maximum subarray sum ending at index i, with g[i] considering that the operation has been applied. Also, initialize ans with -inf to track the overall maximum sum while iterating through the array.
Iterate through each number x in the nums list: a. To update f (ff in the code), calculate the maximum between f + x and 0 + x. The max(f, 0) ensures that if the previous sum f is negative, it's better to start a new subarray at the current index. b. To update g (gg in the code), calculate the maximum between g + x (adding the current element to the maximum sum with the operation already used) and max(f, 0) + x * x (applying the operation on the current element and adding to the maximum sum without the operation). c. Replace the old f and g with the new ff and gg. d. Update ans with the maximum of ans, f, and g to ensure it keeps track of the highest sum seen so far.
Return ans, which contains the maximum subarray sum after exactly one operation.

This approach makes use of the Kadane's algorithm pattern, which is a popular technique for finding the maximum subarray sum. The extension here is the consideration of the additional operation, which is handled by maintaining a parallel running sum that considers the effect of the square operation.

In terms of complexity, the algorithm runs in O(n) time where n is the size of the input array since it only involves a single pass through the array. The space complexity is O(1) as it only uses a fixed number of variables.

Discover Your Strengths and Weaknesses: Take Our 2-Minute Quiz to Tailor Your Study Plan:

How does merge sort divide the problem into subproblems?

Divide the array into two equal halves by indexDivide the array into two based on whether an element is smaller than an arbitrary valueDivide the array into a stray element and the rest of the arrayMerge sort does not use divide and conquer

I don’t know

Example Walkthrough

Let's go through an example to illustrate the solution approach.

Consider the array nums = [-2, -1, -3, 4]. We want to maximize the sum of a subarray after squaring exactly one element from this array. Let's take this step by step:

Initialize f and g to 0, which represent the maximum subarray sum ending at the current index without and with the operation, respectively. Also, initialize ans to negative infinity (-inf) for tracking the overall maximum.
Start iterating through each number in the nums list:
- For the first element -2:
  - Update ff: max(f + x, x) = max(0 - 2, -2) = -2
  - Update gg: max(g + x, max(f, 0) + x * x) = max(0 - 2, 0 + (-2) * (-2)) = 4
  - Update f to ff: f = -2
  - Update g to gg: g = 4
  - Update ans: max(-inf, -2, 4) = 4
- Next element -1:
  - Update ff: max(f + x, x) = max(-2 - 1, -1) = -1
  - Update gg: max(g + x, max(f, 0) + x * x) = max(4 - 1, 0 + (-1) * (-1)) = 4
  - Update f to ff: f = -1
  - Update g to gg: g = 3
  - Update ans: max(4, -1, 3) = 4
- Next element -3:
  - Update ff: max(f + x, x) = max(-1 - 3, -3) = -3
  - Update gg: max(g + x, max(f, 0) + x * x) = max(3 - 3, 0 + (-3) * (-3)) = 9
  - Update f to ff: f = -3
  - Update g to gg: g = 9
  - Update ans: max(4, -3, 9) = 9
- Last element 4:
  - Update ff: max(f + x, x) = max(-3 + 4, 4) = 4
  - Update gg: max(g + x, max(f, 0) + x * x) = max(9 + 4, 0 + 4 * 4) = 16
  - Update f to ff: f = 4
  - Update g to gg: g = 13
  - Update ans: max(9, 4, 13) = 13
At the end of iteration, the ans variable holds the maximum sum possible after squaring exactly one element, which is 13. This is the result of squaring the third element in the original array and adding it to the last element, (-3) * (-3) + 4 which equals 13.

The solution operates seamlessly by iteratively comparing the consequences of squaring or not squaring the current element against the running sums, which ingeniously captures the essence of Kadane's algorithm while accommodating for the additional operation to eventually arrive at the optimal solution.

Solution Implementation

1from typing import List  # Import List type for type annotations
2
3class Solution:
4    def maxSumAfterOperation(self, nums: List[int]) -> int:
5        # Initialize current_sum and max_sum, both set to 0.
6        current_sum = max_sum_with_operation = 0
7      
8        # Initialize result with the smallest number possible.
9        result = float('-inf')
10      
11        # Iterate over each number in the input list.
12        for num in nums:
13            # Calculate the max sum of the subarray without operation,
14            # by comparing the sum including the current number and dropping to zero when it's negative.
15            current_sum = max(current_sum, 0) + num
16          
17            # Calculate the max sum of the subarray with one operation applied.
18            # Compare the sum with the current number squared (and possibly discard the previous sum),
19            # or continue with the previous sum with operation and add the current number.
20            max_sum_with_operation = max(max(current_sum + (num * num - num)), max_sum_with_operation + num)
21          
22            # Update `current_sum` to the new value calculated.
23            # Update `max_sum_with_operation` to the new value calculated.
24            current_sum, max_sum_with_operation = current_sum, max_sum_with_operation
25          
26            # Record the maximum result found so far by comparing it with `current_sum` and `max_sum_with_operation`.
27            result = max(result, current_sum, max_sum_with_operation)
28      
29        # Return the maximum result possible after performing the operation exactly once.
30        return result
31

1class Solution {
2    public int maxSumAfterOperation(int[] nums) {
3        int maxSumWithoutOp = 0; // Tracks the max sum without any operation
4        int maxSumWithOp = 0; // Tracks the max sum with at most one operation (square of an element)
5        int maxResult = Integer.MIN_VALUE; // Result variable, starts at the smallest integer as a lower bound
6
7        // Loop through the array
8        for (int num : nums) {
9            // Calculate new sum without operation, choose between adding current number or starting anew
10            int newMaxSumWithoutOp = Math.max(maxSumWithoutOp, 0) + num;
11
12            // Calculate new sum with operation, choose between:
13            // 1. Using operation on the current number and adding to maxSumWithoutOp
14            // 2. Adding the current number to maxSumWithOp (operation used on a previous number)
15            int newMaxSumWithOp = Math.max(maxSumWithoutOp + num * num, maxSumWithOp + num);
16
17            // Move the calculated sums into our tracking variables
18            maxSumWithoutOp = newMaxSumWithoutOp;
19            maxSumWithOp = newMaxSumWithOp;
20
21            // Update maximum result among all sums with at most one operation
22            maxResult = Math.max(maxResult, Math.max(maxSumWithoutOp, maxSumWithOp));
23        }
24
25        // Return the maximum result found
26        return maxResult;
27    }
28}
29

1class Solution {
2public:
3    // This function finds the maximum sum after performing exactly one operation
4    // where the operation is defined as squaring any one element in the array.
5    int maxSumAfterOperation(vector<int>& nums) {
6        int maxEndHereWithoutOp = 0;  // f: Max sum subarray ending here without using the operation
7        int maxEndHereWithOp = 0;     // g: Max sum subarray ending here with using the operation
8        int maxResult = INT_MIN;      // ans: Result for the maximum sum after operation
9
10        for (int num : nums) {
11            // Update max sum subarray when not using operation
12            int newMaxEndHereWithoutOp = max(maxEndHereWithoutOp, 0) + num;
13
14            // Update max sum subarray when using operation, either by using the operation on current
15            // number or adding current number to previous subarray where operation was already used.
16            int newMaxEndHereWithOp = max(maxEndHereWithoutOp + num * num, maxEndHereWithOp + num);
17
18            // Update variables for the next iteration
19            maxEndHereWithoutOp = newMaxEndHereWithoutOp;
20            maxEndHereWithOp = newMaxEndHereWithOp;
21
22            // Update the maximum result from three choices: previous max, current subarray without operation,
23            // and current subarray with operation.
24            maxResult = max({maxResult, maxEndHereWithoutOp, maxEndHereWithOp});
25        }
26
27        return maxResult;
28    }
29};
30

1// Define a function to find the maximum sum after performing exactly one operation
2// where the operation is defined as squaring any one element in the array.
3function maxSumAfterOperation(nums: number[]): number {
4    let maxSumWithoutOperation: number = 0;  // Tracks max sum subarray ending here without the operation
5    let maxSumWithOperation: number = 0;     // Tracks max sum subarray ending here with the operation
6    let maxResult: number = Number.MIN_SAFE_INTEGER; // Stores the result for the maximum sum after operation
7
8    for (let num of nums) {
9        // Update max sum subarray when not using operation
10        // If the previous sum is negative, reset it to 0; otherwise, add the current number.
11        let newMaxSumWithoutOperation: number = Math.max(maxSumWithoutOperation, 0) + num;
12
13        // Update max sum subarray when using operation. Two choices:
14        // 1. Use the operation on the current number and add it to the previous sum without operation.
15        // 2. Add the current number to the previous sum where the operation was already used.
16        let newMaxSumWithOperation: number = Math.max(maxSumWithoutOperation + num * num, maxSumWithOperation + num);
17
18        // Prepare for the next iteration
19        maxSumWithoutOperation = newMaxSumWithoutOperation;
20        maxSumWithOperation = newMaxSumWithOperation;
21
22        // Update the maxResult at each step, based on the max sum without operation, the max sum with operation,
23        // and the previous maximum result.
24        maxResult = Math.max(maxResult, maxSumWithoutOperation, maxSumWithOperation);
25    }
26
27    return maxResult; // Return the final result, the maximum sum obtainable after the operation
28}
29
30// Usage example
31const nums: number[] = [2, 0, -1, 3];
32const result: number = maxSumAfterOperation(nums);
33console.log(`The maximum sum after operation is: ${result}`);
34

Not Sure What to Study? Take the 2-min Quiz：

Which of the following is a good use case for backtracking?

Combinatorial problemsRandom number generationTopological sortingMatrix multiplication

I don’t know

Time and Space Complexity

The given code represents a solution where the objective is to compute the maximum sum of a modified array where exactly one operation of squaring one element is permitted. We use a dynamic programming approach to keep track of the maximum sum we can achieve with and without squaring an element at each step.

Time Complexity:

The algorithm iterates through the nums array once, performing a constant amount of work for each element. Specifically, it calculates the values of ff and gg which involve basic arithmetic operations and comparisons. No nested loops or additional iterations are present. As a result, the time complexity is O(n) where n is the length of the nums array.

Space Complexity:

Since the extra variables f, g, ff, gg, and ans use a fixed amount of space and no additional data structures dependent on the input size are created, the space complexity is O(1). This constant space is irrespective of the input size.

Learn more about how to find time and space complexity quickly using problem constraints.

Fast Track Your Learning with Our Quick Skills Quiz:

Which two pointer techniques do you use to check if a string is a palindrome?

Fast-slow pointersTwo pointers moving in opposite directionSliding windowPrefix sum

I don’t know

Overview

Basic Data Structures

Basic Algorithms

Overview

Sorted Array

Implicitly Sorted Array

Advanced

Speedrun

Introduction

DFS on Tree

Binary Search Tree

Advanced

Combinatorial Search

Pruning

Additional States

Aggregation and Memoization

Dedup

Additional Practices

Speedrun

Introduction

BFS on Tree

Introduction

Vanilla BFS

Matrix as Graph

Implicit Graph

Directed Graph / Topological Sort

Weighted Graph

Minimum Spanning Tree

Speedrun

Introduction

Same Direction

Opposite Direction

Sliding Window

Prefix Sum

Cycle Finding

Advanced

Speedrun

Introduction

Top K

Moving Best

Multiple Heaps

Introduction

Grid

Dynamic number of subproblems

Interval

Dual-Sequence

Knapsack

Bitmask

Additional Practices

Disjoint Set Union | Union Find

Trie

Data Structure Design

Segment Tree

Interval

Monotonic Stack

Divide and Conquer

Line Sweep

Tree Traversal without Recursion

Greedy

Math

Matrix

Classics

Concepts

Projects

Amazon OA

Microsoft OA

Google OA

Twitter OA

Editorials

1746. Maximum Subarray Sum After One Operation

Problem Description

Intuition

Solution Approach

Example Walkthrough

Solution Implementation

Time and Space Complexity

Time Complexity:

Space Complexity:

Recommended Readings